Actually, that does bring up a question, is there a plugin available now that allows you to completely substitute your js for their js? Ignoring the Free software issue, this would be quite useful to have in general...
(If there is, RMS should probably be made aware of it, because that addresses half of his concern).
Comments
Actually, that does bring up a question, is there a plugin available now that allows you to completely substitute your js for their js? Ignoring the Free software issue, this would be quite useful to have in general...
(If there is, RMS should probably be made aware of it, because that addresses half of his concern).
I would guess you could probably get greasemonkey to do that sort of replacement, but I don't know much about how it works.