PBI-10 Approval: texmaker 4.1,2 (ken)