Fun fact: <details> even works on github and similar sites with markdown-based input. You can post large inline logs in issues without cluttering the conversation.
I used this for a long time, and only now realized that I'm using html embedding, not some hidden markdown feature.
I used this for a long time, and only now realized that I'm using html embedding, not some hidden markdown feature.