Subject: 25.2; `Info-use-header-line' documentation

From: Drew Adams <[email-masked]>
Date: Tue, 4 Jul 2017 12:24:19 -0700 (PDT)

The doc should say that toggling the value has no effect if Info has
already been opened.  It's not even enough to quit Info.  Apparently you
must kill any `Info-mode' buffers and then open Info again, to see the
change.  This is not obvious.

In GNU Emacs 25.2.1 (x86_64-w64-mingw32)
 of 2017-04-24 built on LAPHROAIG
Windowing system distributor 'Microsoft Corp.', version 6.1.7601
Configured using:
 'configure --without-dbus --without-compress-install 'CFLAGS=-O2
 -static -g3''