  We revisit the non-commutative Hodge-to-de Rham Degeneration Theorem of the
first author, and present its proof in a somewhat streamlined and improved form
that explicitly uses spectral algebraic geometry. We also try to explain why
topology is essential to the proof.
