[math-fun] Why isn’t PentakisDodecahedron Johnson 93??