  We explain how Johnstone's 1989 proof of the closed subgroup theorem for
localic groups can be viewed as a point-free version of Pettis's theorem for
Baire topological groups. We then use it to derive localic versions of the open
mapping theorem and automatic continuity of Borel homomorphisms, as well as the
non-existence of binary coproducts of complete Boolean algebras.
