mozilla/extensions/xmlterm/dist
