Notes now through Apr 12

We made it through most of the "Higher direct images" section, which is remarkably painless.

Notes now through Apr 5

Including tiny fix to the long, tricky proof today: at one point I claimed we were computing the cohomology of one complex, but thankfully it was of a different, easier complex.