[Greasemonkey] "Manage User Scripts..." not working?

[Aaron Boodman]

> Meanwhile, you can live edit scripts by finding your profile
> directory, then (in version 0.4.3 (I think)) and higher there's a
> gm_scripts subdirectory.  Note that changing the metadata section has
> no effect, but any other changes you make should.  In versions lower
> than 0.4.3, you have to dig a little deeper:
> profile-dir/extensions/{e4a8*}/chrome/greasemonkey/content/scripts,

To do the equivalent of updating the metadata, change config.xml. If
you crack it open and look at what's already there and copy that. The
format is pretty simple.

-- 
Aaron