Hi, raw HTML is allowed, but some tags and attributes may be filtered currently. <details> does work though.
<details>
Are there others you’re trying to use that aren’t working currently?
nope, I just hadn't realized that I needed to use the preview to see them, I thought they'd pop up like all the standard markdown stuff, sorry!
edit: how do I close this, btw?
