Mazur's Eisenstein ideal

In his landmark 1976 paper "Modular curves and the Eisenstein ideal", Mazur studied congruences modulo p between cusp forms and an Eisenstein series of weight 2 and prime level N. He proved a great deal about these congruences, and also posed some questions: how many cusp forms of a given level are congruent to the Eisenstein series? How big is the extension generated by their coefficients? In joint work with Preston Wake, we give an answer to these questions in terms of cup products (and Massey products) in Galois cohomology. Time permitting, we may be able to indicate some partial generalisations of Mazur's results to square-free level.