2 @stefan_will @johncutlefish Hm. Maybe as a chrome extension? chrome.google.com/webstore/detai… Chrome Web Store Add new features to your browser and personalize your browsing experience. chrome.google.com May 15, 2019 · 15:32
