-# options regular short good fancy
-# Test deep-space probes and battle death
-# recorded by esr@snark on Wed Apr 24 11:34:04 2019
+# arguments regular short good 2023
+# Test deep-space probes
+# recorded by esr@snark.thyrsus.com on Wed Apr 24 11:34:04 2019
+#