Category:User page moved to real name

Category:User page moved to real name — this maintenance category contains the redirected 'placeholder' pages of WikiIndex who have moved their 'user page' from the conventional MediaWiki User: namespace to the root main namespace, because they prefer to be known by their real name here on  when they edit.