Eric Wong <normalperson / yhbt.net> wrote:
> Issue #4647 has been reported by Eric Wong.

Oops, this is a duplicate of #4646  I screwed up using my web browser.