don't use reserved IDs

[therealglazou]

edasfr thinks we should not use reserved IDs

Source: https://n.survol.fr/n/e0-le-retour-du-fils-de-la-vengeance

[dauwhe]

They do make it really easy to write JS against the book: document.getElementById('spine')

And it prevents having two nav id='spine' in the same index.html

[frivoal]

And it prevents having two nav id='spine' in the same index.html

It does not really prevent it. I can type <nav id=doc-toc> twice just as easily as I can type <nav role=doc-toc> twice. Yes, it is wrong, but if we forbid <nav role=doc-toc> from being included twice that would be wrong too.

They do make it really easy to write JS against the book

Not much of a difference:

document.getElementById('doc-toc')
vs
document.querySelector('[role~="doc-toc"]')