Migrate documentation to Markdown #80
Description
Task: migrate documentation to Markdown, starting with the root README files.
Generated documentation can remain as Texinfo for the moment, but should eventually migrate to something auto-deployed.
{{ message }}