OK pushed to main at ok/ChatMastermind

OK
2023-08-05T23:07:46+02:00

9b6b13993c2e58d82d88b90c2cccbf10834395b1 Output the tag list sorted alphabetically.