Removing the edit form's hidden categories' list

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