I've got a script ( https://arantius.com/misc/greasemonkey/ebay-butler.user.js ) which has a CSS resource ( https://arantius.com/misc/greasemonkey/imports/ebay-butler.css ). That resource is injected into the page. I need to fix its contents. Now I can only do that by remotely editing the file and re-installing the whole script. I should be able to edit the resource in place.