Subject: INFO files changed on disk: mention rereading workaround

From: 積丹尼 Dan Jacobson <[email-masked]>
Date: Thu, 21 Nov 2019 08:11:26 +0800

(info "(info) Advanced") should add FAQ:

Q: What if the info files or top directory change on disk?  Unlike
normal browsers INFO has no refresh command.

A: Kill the *info* buffer and start INFO again.