OK pushed to master at Fjerkroa/discord_bot

OK
Mon, 21 Aug 2023 16:18:43 +0200

17386af950b42860acd62a8374ac3d34c1467cf1 Fix channel names in answers on history.