Manual:$wgReservedUsernames

Details
Array of usernames which may not be registered or logged in from.

Maintenance scripts can still use these.

Extensions can use the  hook to add to this array.

If an entry in  starts with   then the reserved username is taken to be the value of that message (in the wiki's content language).

The double redirect fixer has been added in 1.13.

Changing the default values
Overriding the default with a bundle of different user names and discarding the user names set by default is not recommended.