The problem ceases to display when I disable THAT particular extension (and reappears when it is enabled again) - it has a history (reported by other users) that menus sometimes disappear when it is enabled. Same with this situation