Let me say a HUGE THANKS to Shawn, Gavin, Chad, Jeff, and Jon for helping me track down names for everyone in the credits.

On the topic of credits, I think they're probably done now, although I might remove one tiny self-serving surprise at the end.