How do you use github flavoured markdown to embed <details> tags - surely you can't just use the html tags? Isn't that the whole point of markdown - to limit users html input so there aren't any security escalations?
Github does strip some tags for security reasons like <script>. Some of the parsers I have seen offer this feature.