I'm a bit confused about what's going on with the code for this extension. https://gerrit.wikimedia.org/g/mediawiki/extensions/CategoryExplorer says "Request is not authorized", but the GitHub mirror is working. What's wrong with Gerrit?
Topic on Extension talk:CategoryExplorer
It's waiting to be imported. Sorry for the confusion:)