@c **** Headings in a doc subsection ****
+@c not really a heading, but...
+@macro smallspace
+@sp 1
+@end macro
+
+@c absolete; being removed.
@macro refcommands
@noindent
@subsubheading Predefined commands
@macro refbugs
@noindent
-@subsubheading Bugs
+@subsubheading Known issues and warnings
@end macro