PBI-9 Approval: texmacs 1.0.7.14_2 (amd64)