docs: rewrite 30 more pages
Linting rules: a11y, check-punctuation, informative-dfn, lint-ignore,
no-link-warnings, no-unused-vars, privsec-section
data-* attributes: data-abbr, data-format, data-include-format,
data-include-replace, data-link-type, data-local-lt, data-lt-no-plural,
data-lt-noDefault, data-max-toc, data-number, data-oninclude,
data-transform (deprecated), data-type
HTML elements: h1-element, idl-index, issue-summary, nohighlight,
nolinks, notoc-class, numbered, pre-and-code-elements, section,
title-element, tof
Config options: dir, doJsonLd, isPreview, lang, latestVersion,
maxTocLevel, noTOC, otherLinks, pluralize, respecIsReady,
subtitle, canonicalURI, crEnd, prEnd, noRecTrack, processVersion (removed)
Deprecated wg* options: wgId, wgURI, wgPatentURI, wgPublicList
New/rewritten: document.respec, rs-changelog, gh-contributors,
removeOnSave, monetization, format, dark-mode, highlightVars,
modificationDate, previousPublishDate, previousMaturity