Discord
Tech WG/Ops Diary#23-05-19: TODO check out how user-specific settings were reformatted re: config/settings.yml. See also https://discord.com/channels/1049136631065628772/1049184335514828860/1109359788602707988 and https://discord.com/channels/1049136631065628772/1049184335514828860/1109360742433558548
Also that reminds me that I did get the announcement notif but the interface opened starting with the first announcement not the most recent one so TODO