top-level docstring and other doc cleanups in macros