Re: next-error-last-buffer

[Richard Stallman]

      Because of the way
    next-error crosses modes right now, it may be better off in its own
    section, referenced by the compilation-minor-mode and occur
    sections.

This is largely a matter of which way produces the most clear and
readable manual.  One has to try various methods and see which one
can be made to work best.

               This depends on how RMS and others feel about my proposal
    for making next-error a next-DWIM interface;

As I explained, I think that is probably a bad idea.
In any case, we don't want to do it for the coming release.
So the coming release needs a manual updated for the current
state of the functionality.