Text this: Categories of compact and compactly generated Hausdorff locales over a base topos