For my own edification, I made a mass-mirror of just about all
the GreaseMonkey extensions
to be found
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.