Re: Documentation for substitute-key-definition is incomplete

[Richard Stallman]

    I see, but then it would make sense to document it like this:

    The optional PREFIX argument is for internal use only--always omit
    this argument when calling this function.

Our convention is to leave them undocumented.  I don't want to change
that convention, because that change would be unnecessary work and we
have other work to do.