Re: A doc typo?

[Richard Stallman]

    > I recently suggested patches to report menu bindings using the real
    > menu item texts rather than the internal names, like this:

    >       File=>Print=>Print With Faces

I don't think it is much of an improvement.  In any case,
it would have to be a very important improvement to be
installable now.

For now, please let's focus on fixing bugs,
not on small improvements.