In reply to a tweet by miketaylr:

@miketaylr We should have advocated renaming <details> <tldr>.