Add data-noreformat to the <header>

Author: zcorpan

source

@@ -50,7 +50,7 @@
   <script w-dev src="/dev/search.js" async></script>
   <script w-nodev w-noreview crossorigin src="/html-dfn.js" defer></script>
   <script w-nodev w-noreview w-nosplit crossorigin src="https://resources.whatwg.org/commit-snapshot-shortcut-key.js" defer></script>
-  <header class="head with-buttons" id="head">
+  <header class="head with-buttons" id="head" data-noreformat="">
    <a href="https://whatwg.org/" class="logo"><img crossorigin width="100" height="100" alt="WHATWG" src="https://resources.whatwg.org/logo.svg" class="darkmode-aware"></a>
    <hgroup w-nodev>
     <h1 class="allcaps">HTML</h1>