Hi Manu,
Now that the mods are tied to different profiles, have you considered turning the patcher into a launcher? Something that would still check for updates before launching but also allows you to select the profile before you start the game, so if you want to switch to vanilla or a different mod you could do so without rebooting the game.