What Minecraft Launcher Is - And What It Isn't