bug#12187: 24.1.50; Regression: `Info-breadcrumbs-depth' should show `File:' without ".info" suffix

[Eli Zaretskii]

> From: "Drew Adams" <drew.adams@oracle.com>
> Cc: "'KarlBerry'" <karl@freefriends.org>, <12187@debbugs.gnu.org>
> Date: Mon, 13 Aug 2012 06:55:25 -0700
> 
> Eli, can you speak more of the advantage of showing the suffix?  E.g., are 
> there
> cases where there might be more than one manual with the same file name except
> for the suffix?

Yes, there could be more than one manual with the same name, however
unlikely.  Not sure how important that is, though.

> And could you elaborate on how this relates to other Info readers
> and why it can be important to show the suffix?

What you see is simply the header line of every node, verbatim, as
makeinfo generates it.  If you visit the Info file literally, that is
what you will see there at the beginning of each node.  I don't think
there's some deep philosophy here, just tradition and KISS, really.