Back again (aready) Rayma,
Although what I really meant by investigating was "investigating a way to upload Markdown files into have them render (usefully) in ProofHQ", what I inadvertently discovered was this workaround, in case it is Good Enough For Now for you:
- copy the entire contents of a given Markdown file
- navigate to https://markdowntohtml.com
- paste those contents, convert them to HTML, then copy the resulting HTML
- paste that HTML content into a new file and save it as an HTML file; optionally including the original Markdown file's contents as text (e.g. at the end, as text, by convention)
- upload the HTML file into ProofHQ as a "proxy" for the Markdown file
Regards,
Doug