`pma__hidden_tables` is what I had in mind for the table name initially, but changed my mind as more types of items can be hidden. `pma__hidden_items` sounded vague as there is no reference to navigation and `pma__hidden_navigtion_items` looked too long. That's why I settled for `pma__navigation`. Anyway I am open to a good name for the table.