Overview: The ideal situation in moduli theory is to have a geometric/modular compactification for a given moduli space, and to have a good understanding of its structure so that one can compute various invariants (e.g. Betti numbers). Unfortunately, this is rarely the case (e.g. for varieties of general type, there is a geometric compactification, the so called KSBA compactification, but we...