7. management of push notifications