bug#19443: 25.0.50; `info-display-manual' could limit the choice to currently visited manuals if given a prefix arg for convenience

[Eli Zaretskii]

> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Cc: Filipp Gunbin <fgunbin@fastmail.fm>,  19443@debbugs.gnu.org
> Date: Sat, 27 Dec 2014 11:01:17 -0500
> 
> > (In general, "C-h k" AND "C-h f" are useful to see if there's any
> > documentation in any manual for a key or a function.
> 
> Hmm... I must be missing something, because neither of those gives me
> any indication about the presence of related info in the manual,

Strange, I'm positive I typed "C-h K" and "C-h F".