> You might like pinging people so they get a notification on their phone, but they might not like being on the other end of your ping :) This is a false dicho

> You might like pinging people so they get a notification on their phone, but they might not like being on the other end of your ping :) This is a false dichotomy between "you have to receive annoying pings" and "there's no notification system in your chat system". What actually happens in real life is that chat systems, even proprietary ones, give you control over what notifications you receive (and when you receive them). Discord, in particular, gives you significantly more fine-grained control than any FLOSS tool that I've ever seen.