one more opinion

diff --git a/doc/todo/clear_page_to_delete.mdwn b/doc/todo/clear_page_to_delete.mdwn
index 1a0d3f008ceccfea2e98b0ae9b243278299c8a93..eddce79b42d863893165d99041e2e48c61d48781 100644 (file)
--- a/doc/todo/clear_page_to_delete.mdwn
+++ b/doc/todo/clear_page_to_delete.mdwn
@@ -14,3 +14,7 @@ question is really:
 
 Re vandalism in general, I am generally happy using git-revert to kill the
 offending change. --[[Joey]]
+
+I don't think we need a second way to delete pages, which would probably be
+used by the only few people who will learn it's possible by random
+documentation reading, find it useful, *and* remember it. -- [[intrigeri]]