  We discuss proofs of local cohomology theorems for topological modular forms,
based on Mahowald-Rezk duality and on Gorenstein duality, and then make the
associated local cohomology spectral sequences explicit, including their
differential patterns and hidden extensions.
