Dear All,
For my own edification, I made a mass-mirror of just about all the GreaseMonkey extensions listed here. An archive of all those fun JavaScript bits is to be found here. It's about 300KB.
I figure it's a pretty handy thing to be able to grep when I want to, for example, see actual uses of DOM methods. This isn't an official mirror or anything, just a snapshot (which will go away in a while) for research purposes.
