Firefox version? #3
Description
Temporary workaround - use script with Greasemonkey? There isn't anything specific to the Chrome API in contentscript.js so it should work? (with a bit of tinkering perhaps to tell it to only work on cmssw pages)
Firefox add-on - depends on if there is any interest in it?