PBI-9 Approval: texmaker 4.0.2 (amd64)