TODO
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