The Vanilla Server-Plugin for the Minecraft Launcher