Whee.

It's 9am. Because of the holiday, I get out early today, at 1pm. That's
four hours. It's going to be the longest four hours of my life.
On the plus side, I have non-trivial (but incredibly dry) documents to go
over.