The Vanilla-Plugin for the Minecraft Launcher