For various reasons my wiki is closed. A large number of the users had
a user name chosen for them by virtue of membership of another site.
Some of these uses want to change their user name.
Is there a special page that will allow a logged in user to change
their user name?