--- 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
--- /dev/null Thu Jan 01 00:00:00 1970 +0000+++ b/help/info.help Sun May 23 16:08:52 2021 +0000@@ -0,0 +1,1 @@+A command that prints 1-line help for a certain topic from /hackenv/help