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