Re: [Chris Ricker <kaboom@gatech.edu>] docs in downloadable format?