Nit: I would prefer not to use, js-moz-extensions, it make many editors unhappy.