Category:Non-indexed pages

Due to a MediaWiki change, around 1500 pages with  were automatically added to this category instead of Category:Noindexed pages on 22 September 2016. It may take a long time before all pages are automatically moved to the right category. A null edit or any other edit to affected pages will move them right away but there is usually no need to do that. Village pump (technical) discusses the issue.