MediaWiki extension to apply a noindex robot policy to pages in certain categories.