@matigo I had in mind stars/pins/reposts. But un/follows are definitely in the same boat.
I'm happy to start with mentions and grow from there. It will be a while till I have anything push notification sorted at my "I have some weekend time to work on this" snail-pace.
Having answers now helps me map things out and plan the time I have, though. Thanks! :)