First, background: Greasemonkey is a FireFox plugin that lets you add bits of DHTML (“user scripts”) to any webpage
user CSS styles.
is a GreaseMonkey script I wrote to avoid having to click through two
pages of mirror lists (and then be prompted for a file location) when
you encounter a SourceForge
download URL. It rewrites the URL to point directly to the file on a
random mirror (unless a mirror is specified in the URL), ready to be
clicked or copied-and-pasted or whatever you like.
Tell your SourceForge-frustrated friends!