// background.js required by manifest, but not used in this extension