More tweaking of menus, and some edits to mission.md