Proposal: an HTML element for spoilers

An informal proposal for dedicated elements for spoiler tags in HTML: use-cases, syntax, semantics, recommended UA behavior, and comparisions with <details>.</details>