Deleted Menu, as it has been replaced by MenuState. Please don't push
another Menu back into the system.