akkoma admins: a friend who is on my server wants to change the capitalisation of the username, of course this is not allowed in adminfe but maybe I can adjust something in the database?