The various documentation files are already in formatted in a
Markdown-like fashion, so let's make it official.