Re: Patch to disable links line in *info* buffer

[Richard Stallman]

    As I read the comments, the new behaviour with two
    almost identical header lines was a change to the worse.

Why do you think so?  A few people say they don't like it,
but nobody has given any reasons.

    It never occurred to me that copying part of the header would
    be useful

People complained when it was not possible.  In response, we made a
special command for doing it, but hardly anyone knows about that
command so it is not a very good solution.