All the things You Wanted to Learn about Minecraft Server Software and Had been Too Embarrassed to Ask