On 2 October 2015 at 07:35, Eli Zaretskii <e...@gnu.org> wrote:
>> Date: Thu, 1 Oct 2015 21:14:17 GMT
>> From: Karl Berry <k...@freefriends.org>
>>
>> I find the File: and Node: parts of the hdr line the most useful.
>> At least Node:, for sure, much more than the pointers.  Go figure ...
>
> Actually, the "File:" and "Node:" parts are redundant: they also
> appear in the mode line.
>

The heading at the start of the node also tells us what node we're in,
although it's possible for the node name and section name to differ.

Reply via email to