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