It's in both background.js and devtools.js. I'm not sure how best to store it in one place - background.js doesn't include any other files, so I'd have to do something tricky. I'm ok with leaving it like this for now.