[Question] Is it possible to change user name?

When I started posting I was in a career where keeping moderate anonymity seemed sensible. Now it makes more sense to use something closer to my real name (though conceivably I’ll want to change back in future).

As far as I can see in user settings, there’s no name change option?