Misc editorial stuff.
Added txt and html versions.