古いマニュアルがあったので、補足です。

（その３）のＳＭＡＲＴⅡＥＸはＩＴＯＳでもリリースされていますが、Ｒ２１．５時点では、＃ＳＦＧＥＮ用のＳＵＬの入出力は出来ないようです。
（その８）の＃ＡＢＣのＳＰＯＯＬからＰＩＦ変換はＩＴＯＳの１７．５では既にできるようです。
以上