mozilla/extensions/xmlterm/ui
