userChrome.js (via) github.com