If you put the "More details about this document" inside a <details> instead of a <details open>, pubrules fails with
The <details> element in the header should have attribute "open".
Even though https://www.w3.org/pubrules/doc/rules?profile=NOTE#docIDFormat doesn't mention this requirement.
Similar to #1919, I'd like https://w3ctag.github.io/explainers/ to start with its 'More details' section collapsed, so that readers can focus on the document's actual content rather than its metadata.
If you put the "More details about this document" inside a
<details>instead of a<details open>, pubrules fails withEven though https://www.w3.org/pubrules/doc/rules?profile=NOTE#docIDFormat doesn't mention this requirement.
Similar to #1919, I'd like https://w3ctag.github.io/explainers/ to start with its 'More details' section collapsed, so that readers can focus on the document's actual content rather than its metadata.