How do you change the username in the app? I foolishly entered some non-ASCII characters (that's what I get for trying to use my real, non-english name...) and they got mangled.