A special purpose texi-to-html converter used to document ScriptBasic.
The source code of the file is not included in this documentation because the file itself is too long for the purpose.