The points of (locally) compact regular formal topologies.