In some conditions, one wants to send push messages to only iOS and Android users. Although this can be achieved by pre-processing the userIds array which is sent with the push message request, it would be much more efficient when handled inside the push-service.