Whitelist the `details` HTML element

This is a standard HTML5 element, and it may be handy to allow it through our SanitizationFilter:

<details>
  <summary>Click to expand</summary>
  Whatever
</details>