OK pushed to main at ok/ChatMastermind

OK
2023-08-05T12:40:04+02:00

01de75bef3ba02551f7ef4fcc31245cecfb34289 Improve -l output.