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.