Greasy Fork is available in English.
I have developed a little script that will delete the gifs from old reddit (might also work in new reddit, but untested). Helpfull for when you are a work and want to visit reddit, but gifs makes the situation a little complicated. // @author You
