Lars Ingebrigtsen writes: > Leo Liu writes: > > > I think the bigger issue is copying the definition verbatim to loaddefs. > > It should be handled like `defun' i.e. only the name is copied. > > Yeah, that's true, I guess. This seems to work: