12/18: done

...with grading for the semester.

No comments: