Thanks! That's useful. Long time ago, there was a similar service that used push notifications (via now-dead Notifo; they also had emails https://news.ycombina

Thanks! That's useful. Long time ago, there was a similar service that used push notifications (via now-dead Notifo; they also had emails https://news.ycombinator.com/item?id=1720763 https://news.ycombinator.com/item?id=1720763 but, personally, I felt that pushes were nicer). I wonder if there's anything that uses Web Push notifications...