lots of uncommitted tweaks... presumably all in order to make hi-res vids
misc lecture sketch updates