PBI-10 Approval: texmaker 4.1_1 (ken)