[01:11:24] <grrrit-wm>	 (PS1) Mwjames: Add an option to omit annotation of hidden categories [extensions/SemanticMediaWiki] - https://gerrit.wikimedia.org/r/87642