OK pushed to main at ok/ChatMastermind

OK
2023-08-05T12:28:16+02:00

a5d527bc0149cb52985f2bee8e36d899cbe5eac9 Remove app for now. 9dde163a3c0cd61b028f3d287b035ec102416ac4 Temporary stuff.