/tools/lint/eslint/eslint-plugin-spidermonkey-js/