Renaming documentation files. Adding HTML versions.