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