diff --git a/document/core/util/bikeshed_fixup.py b/document/core/util/bikeshed_fixup.py
index da3d2efa59..c74d19f544 100755
--- a/document/core/util/bikeshed_fixup.py
+++ b/document/core/util/bikeshed_fixup.py
@@ -12,11 +12,7 @@
 def Main():
   data = open(sys.argv[1]).read()
 
-  # Make bikeshed happy
-  # Apparently it can't handle empty line before DOCTYPE comment
-  data = data.replace('\n<!DOCTYPE', '<!DOCTYPE')
-  # Ensure newline before <pre>
-  data = data.replace('<pre>', '\n<pre>')
+  # Clean up the input for Bikeshed
 
   # Don't add more than 3 levels to TOC.
   data = data.replace('<h5>', '<h5 class="no-toc">')
@@ -42,18 +38,6 @@ def Main():
         '<h3>A.' + str(number) + ' ' + section + '</h3>')
     number += 1
 
-
-  # Drop spurious navigation.
-  data = data.replace(
-"""
-    <div class="related" role="navigation" aria-label="related navigation">
-      <h3>Navigation</h3>
-      <ul>
-        <li class="nav-item nav-item-0"><a href="#">WebAssembly 1.1</a> &#187;</li>
-        <li class="nav-item nav-item-this"><a href="">WebAssembly 1.1</a></li> 
-      </ul>
-    </div>  """, '')
-
   # Use bikeshed biblio references for unicode and IEEE754
   data = data.replace(
       """<a class="reference external" href="https://www.unicode.org/versions/latest/">Unicode</a>""",