> as some people seem to be going over the documentation it might be
> relevant that MACROEXPAND does not seem to be documented in 5.9.1:
FYI, though it's not documented properly, the mmacro source code does
have some useful comments, e.g.
$macroexpand
Expands the top-level form repeatedly until it is no longer a macro form.