Eli Zaretskii <eliz@gnu.org> writes:

> That's okay, but please mention eval-when-compile as an example of the
> broader class of situations with instrumenting code wrapped with
> macros.

OK, here's a revised version.