Simon Burton on Nostr: and what happens to the dodecahedron vertices under this Galois automorphism ?and what happens to the dodecahedron vertices under this Galois automorphism ?