My interest in extensions was limited to one that would defeat HTGs "lazyload". Once the subject was opened I got the idea that many people were looking for particular extensions, as I was, and sources were drying up.
That user script mirror was advertising 137,000 user scripts with no search available. Having used WinHT in the past I decided to give it a shot. After 3 hrs and 20 mins downloading, thousands of 404s. thousands of 0 byte files, and Avast going stark, raving ape, blocking malware, I stopped and checked my bounty.
Scripts going back to 2005, plus the other problems made the decision to dump the whole package really easy.
Just pulling down .js files was an idea. Plugged it in again and what I got this time was no better.
The scripts come down identified by a number, user script.xxxxxx.js, with no way to know what you were looking at. Dumped the whole package again!
There is nothing at that mirror site that's of any value, or use, to anyone! Game over!