In reply to
a tweet
by
miketaylr
:
@miketaylr
We should have advocated renaming <details> <tldr>.