Text this: Discrete subgroups of Lie groups and applications to moduli :