The space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compact - eviltoast