Change the name of the wiki

This page has been moved to Change the name of the wiki on mediawiki.org.

Any modifications or additions to this page should be made on mediawiki.org instead.