Would be very helpful to have a section where users can see a list of past push notifications that they may have missed or dismissed. Like an RSS feed.