Working on cleaning up or annotating some very old content; also some style tweaks