All the things You Wanted to Find out about Minecraft Server Software and Were Too Embarrassed to Ask