I went to the trouble of finding the offending js a while back, but some aspect of its URL must have changed (server? directory? depth? name?), because the filt

I went to the trouble of finding the offending js a while back, but some aspect of its URL must have changed (server? directory? depth? name?), because the filter stopped working. So now I nuke everything; the loss of js hasn't harmed the text yet.