Here are the source files, HTML-ized, and somewhat unorganized: