A web administration tool with a focus on managing vanilla Minecraft servers