> I would prefer the Kawa name, `define-alias`, since macros beginning
> with `define` are used to introduce new identifiers.
>
> Otherwise LGTM.

Same comments from me.

Nice to have aliases standardized!

> Marc is calling this the final draft candidate, so please get any last-minute comments in right away.

Is there going to be a last call period?