On Wed, 21 Aug 2019 23:02:59 -0700 John Meissen <john at meissen.org> dijo: >Do you mean you already looked at that, or that it was enabled? If the >latter, did you try turning it off? I have restarted Firefox with it checked, and with it unchecked. Neither setting made any difference.