pjs/extensions/xmlterm/doc/Portability