Like I said in the OP: "There are gresemonkey etc. scripts to do this, but they're tied to a single browser on a single machine. A global filter (like in gmail)

Like I said in the OP: "There are gresemonkey etc. scripts to do this, but they're tied to a single browser on a single machine. A global filter (like in gmail) would be so much more useful."