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: Filipp Gunbin <fgunbin@fastmail.fm>
> Date: Fri, 26 Dec 2014 20:06:45 +0300
> 
> Here's the patch on the subject.  I'll apply it if no one objects.

Fine with me, thanks.

One minor comment about the doc string: you are talking about "the
choice", but no choice was mentioned before in the doc string.  This
might confuse the user.  I think you should mention completion in
order to make this clear.