PBI-9 Approval: rednotebook 1.7.2 (amd64)