Microsoft bought MinecraftEdu, but not TeacherGaming, which will continue to work on KerbalEdu