The paper "A proof of a Dodecahedron conjecture for distance sets" with Masashi Shinohara is available on arXiv.