OK pushed to master at Fjerkroa/discord_bot

OK
Fri, 18 Aug 2023 20:32:28 +0200

771d965e8c8871403b17591790dc77d377d3f66f Fix user names in messages.