OK pushed to main at ok/ChatMastermind

OK
2023-08-05T15:35:32+02:00

ca3a53e68b34172b9e91b134a4824bb6a6913e89 Fix backwards compatibility of -W flag.