mozilla/extensions/metrics/tool
