Is it worthwhile to minify a script that goes into an extension or userscript for Greasemonkey? I ask because the user will just be downloading it once and running it many times (it's not part of the webpage). Assume that it's about 50k uncompressed.

Will it save time for the user? Is it significant or is most of the gain in the download speed?