PBI-10 Approval: texmacs 1.0.7.21 (ken)