High priority PUSH notifications are sent for all messages, even for messages without <body/>, ie. for delivery receipts. This needs to be fixed as it causes a lot of notifications on mobile devices, which are unnecessary and even annoying.