OK pushed to master at Fjerkroa/discord_bot

OK
Mon, 21 Aug 2023 13:38:49 +0200

8c718ad2729ed013fda10350f153f83f79d4cfee Do not historise the boreness question.