End-of-semester update

All changes from throughout the semester. I’ve been bad and haven’t
kept up with this.