push notifs for activity notifications should now be much improved - old ones will now stick around, instead of being replaced by new ones. collect endless notifications to your heart’s content kudos to @Eric for this change!