[doc] Remove whitespace and end-of-line.
[doc] Convert .html to .rst.

This makes the information readable directly from GitHub or in a text
editor.  This removes the .html files and replaces them with a script to
generate exact same files with a script.
[doc] Convert .txt to .rst.

This will make these files more readable on GitHub directly.