Removed Menu.hidden_section.

Concept is no longer well defined. Any menu section can be hidden.