OK pushed to main at ok/ChatMastermind

OK
2023-08-05T21:00:38+02:00

c5c4a6628f688a6a93dc57e33406f3aca8cce415 Allow character ":" in tags. f8ed0e36367b71746e22c1e9665a41fd7c161c6e tags are now separated by ' ' (old format is still readable)