extensions.{e4a8a97b-f2ed-450b-b12d-ee082ba24781}.description=Un gestionnaire de scripts Greasemonkey, pour Firefox