Wow! What a write-up! I appreciate the liberal use of the summary/details tags. Really helps things stay readable.
Curious: is there a Markdown exporter that supports some syntax for this?
Curious: is there a Markdown exporter that supports some syntax for this?
The main contribution by Github's markdown renderer is that it doesn't remove that tag.
<detail>
<summary>...</summary>
Some `markdown`
</detail>
I would imagine this sort of behavior is in commonmark, but I am too lazy to check.