When missing files are discovered, remove the script from config.xml (so that things don't break), but do _not_ delete files.  The files might be important.
When missing files are discovered, remove the script from config.xml (so that
things don't break), but do _not_ delete files.  The files might be important.

Fixes #1143

the8472/greasemonkey,Ventero/greasemonkey,Martii/greasemonkey,Martii/greasemonkey,the8472/greasemonkey,HasClass0/greasemonkey,Ventero/greasemonkey,HasClass0/greasemonkey