Thanks to Daniel Quinlan <quinlan@spectrum.cs.bucknell.edu> for putting
together these packages.
