Text this: $sigma$-locales in Formal Topology