Re: mode-line with Tramp

[Richard Stallman]

     > That is okay, as long as the respective entries in etc/NEWS aren't
     > marked with either +++ or ---.  The idea is that shortly before the
     > release, we should go through NEWS and make sure every change that
     > needs to be documented is documented.

    Yes, but I get mixed messages because Richard has just said:

      Before we install this, the changes to the manuals should be written
      so they can be installed at the same time.

We don't always insist on changing the manual when a feature is
installed, but sometimes I think it is important to do so.
It never hurts, of course.