Probably the best (only?) option for reply notification is that there's an RSS feed of all replies to a user, like this: https://hnrss.org/replies?id=37 https:

Probably the best (only?) option for reply notification is that there's an RSS feed of all replies to a user, like this: https://hnrss.org/replies?id=37 https://hnrss.org/replies?id=37