Does anyone have an opinion on the hidden categories list that's shown below the editing form?
We're wondering if it should be deleted, because its contents is duplicated in the main categories box further down the page (if you have the showhiddencats preference enabled, and if you do not you perhaps don't want to see hidden categories).
Details here: https://phabricator.wikimedia.org/T340606
mediawiki-l@lists.wikimedia.org