That Chrome extension… that's just a glorified Greasemonkey script, right? • Dominik Schwind