role=group and aria-controls

<details> gets role=“group” and an @id if it doesn’t have one, and
<summary> gets @aria-controls pointing at the relevant @id