Push notifications should be triggered on following occasions:
[ ] When someone mentions someone
[ ] When the content of the page is changed
[ ] When an update of the app is available