Service Pack for pragmaMx 0.1.11

Although the next version of pragmaMx already in “beta tester final phase” and thus is already in the wings, we quickly decided a small service pack for the current version 0.1.11 pragmaMx public.