Changes

Due to a caching problem, many pages that belong here are still listed on the page of the previous name of this category, what now is temporarily a subcategory, [[:Category:MediaWiki User's Guide]]; see that page for details.