Comment by gnatolf

Well, joke's on me: I use that extension too. And I never close my browser.