GSS’s own programmers had designed and constructed Ludus and all of the schools on it. So it was entirely possible that Halliday was the one who’d given the planet its name. And he would also have had access to the planet’s source code, if he’d wanted to hide something here.