diff -r b145736743e2 -r 97775c5dd3b3 help/help.help
--- a/help/help.help	Sun May 23 15:36:58 2021 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-A command that prints 1-line help for a certain topic from /hackenv/help