I'm not a fan of how user settings are stored in the old mySQL. I'd like to propose a new way: Add a JSON containing the settings in the `user` table.