MediaWiki extension: provides a Special Page for looking up manpages