Replaced HTML autogenerated docs with Markdown, for better Git.