For the moment "menu" is the restart option. As you can see, mission dosn't require any loading. Just "resetting" the game needs one. So when you go to the menu is a kind of "resetting game", where you can anyway switch to another mission if you prefer, without any supplementar mission loading.