Strip HTML comments

wenkokke · wenkokke · commit 1f787a34308c · 2025-12-24T20:51:06.000Z
diff --git a/tools/Buildfile.hs b/tools/Buildfile.hs
@@ -898,7 +898,8 @@ readerOpts =
             Ext_backtick_code_blocks,
             Ext_fenced_divs,
             Ext_bracketed_spans
-          ]
+          ],
+      readerStripComments = True
     }
 
 writerOpts :: WriterOptions
