Email Record: Minecraft mining : an unofficial kids' guide