Using a minimum of technical vocabulary, give a summary of why it is that the moduli space of genus g complex curves with n marked points has a natural compactification that is isomorphic (as a complex manifoldorbifold) to a projective algebraic variety.