Am 15.08.2018 um 14:36 schrieb Allin
about this some more, it's not totally straightforward. There are
tools to convert markdown to HTML OK, but we don't have a means of
displaying HTML inside gretl.
I thought the idea of markdown was that you don't necessarily have
to transform it in order to be nicely human-readable? We're probably
thinking about a subset of markdown instead of the whole spec (at
least I was, I guess).