CategoryTree: https://www.mediawiki.org/wiki/Extension:CategoryTree.
Makes the wiki category structure look even better.