mozilla/extensions/editor
