Updated to current revision of tool

includes updates committed outside of the repository by Michel, a minor
CSS change by Todd, a few minor edits to the content, etc.