diff --git a/faq.html b/faq.html
index 69655f247..de6e4908f 100644
--- a/faq.html
+++ b/faq.html
@@ -486,7 +486,6 @@
 <li><strong>Q 3.9</strong>: <a class="normal" href="#entry_id_faq">What is an <code>entry_id</code>?</a></li>
 <li><strong>Q 3.10</strong>: <a class="normal" href="#entry_json">What is a <code>.entry.json</code> file and how is it used?</a></li>
 <li><strong>Q 3.11</strong>: <a class="normal" href="#jparse">How can I validate any JSON document?</a></li>
-<li><strong>Q 3.12</strong>: <a class="normal" href="#install">How can I install the <code>mkiocccentry(1)</code> and related tools?</a></li>
 </ul>
 <h2 id="compiling-ioccc-entries">4. <a href="#compiling">Compiling IOCCC entries</a></h2>
 <ul>
@@ -6416,9 +6415,11 @@ deletions</em>, in <em>6,169 commits</em> ‼️</p>
 <p>Jump to: <a href="#">top</a></p>
 <div id="size_rule_history">
 <div id="size_restriction">
+<div id="size_rule">
 <h3 id="q-11.3-how-has-the-ioccc-size-limit-rule-changed-over-the-years">Q 11.3: How has the IOCCC size limit rule changed over the years?</h3>
 </div>
 </div>
+</div>
 <p>The IOCCC size rule has changed over the years.</p>
 <p>In later years, Rule 2 was split into two parts. These two parts of Rule 2 are:</p>
 <ul>
diff --git a/faq.md b/faq.md
index 51605ba1d..0b83f6467 100644
--- a/faq.md
+++ b/faq.md
@@ -60,7 +60,6 @@ This is FAQ version **28.2.16 2025-03-12**.
 - **Q 3.9**: <a class="normal" href="#entry_id_faq">What is an `entry_id`?</a>
 - **Q 3.10**: <a class="normal" href="#entry_json">What is a `.entry.json` file and how is it used?</a>
 - **Q 3.11**: <a class="normal" href="#jparse">How can I validate any JSON document?</a>
-- **Q 3.12**: <a class="normal" href="#install">How can I install the `mkiocccentry(1)` and related tools?</a>
 
 
 ## 4. [Compiling IOCCC entries](#compiling)
@@ -8079,9 +8078,11 @@ Jump to: [top](#)
 
 <div id="size_rule_history">
 <div id="size_restriction">
+<div id="size_rule">
 ### Q 11.3: How has the IOCCC size limit rule changed over the years?
 </div>
 </div>
+</div>
 
 The IOCCC size rule has changed over the years.