PBI-10 Approval: texmaker 4.1.1,2 (josh)