diff --git a/misc/autoformat.py b/misc/autoformat.py
index 4103ef2175..5a2df6e1b4 100755
--- a/misc/autoformat.py
+++ b/misc/autoformat.py
@@ -184,6 +184,10 @@ def replacer(part):
         node.help(deep = True, with_formatting = True)
         raise
 
+if False:
+    while len(red) > 2 and red[0].type == "string" and red[1].type == "endl" and red[2].type == "endl":
+        del red[1]
+
 
 new_code = red.dumps()