Comment by remi

The “new” thing (if you didn’t know it before) is that GitHub applies a collapse/expand behavior to <details> elements.