Make mediawiki page names case insensitive, including semantic queries

At Prophecy, We use MediaWiki for our internal documentation. Our use has become more sophisticated over time, and we’ve recently made a small change which I hope will make the wiki even more usable in future.

This is a companion discussion topic for the original entry at

Will I still be able to have uppercase page titles?