primal has also added robust push notification support

in order to promote healthy user behavior, push notifications are not enabled by default and users have fine tuned control over which notifications are shown