jessicata comments on Topological metaphysics: relating point-set topology and locale theory