OK pushed to master at Fjerkroa/discord_bot

OK
Wed, 15 Nov 2023 10:23:47 +0100

7bcadecb17c5c30ec76767781f5446d1b3273d9a Solve new API thing differently.