OK pushed to master at Fjerkroa/discord_bot

OK
2023-08-18T20:32:28+02:00

771d965e8c8871403b17591790dc77d377d3f66f Fix user names in messages.