[Greasemonkey] Updating one's script at userscripts.org

[Jesse Andrews]

> Does userscripts.org respect robots.txt?

yes, because right now it isn't going out and doing any active
updating.  right now users must actively say I've updated.

ja