Quillen defined a spectral sequence relating the homology of locally symmetric spaces to algebraic K-theory of Z and other number rings. In joint work with Brown, Chan, and Payne (arXiv:2405.11528), we introduce a Hopf algebra structure on this spectral sequence and give applications to the cohomology of the moduli space of principally polarized abelian varieties.