backend.js: really allow people to change their name's case