We now have multiplayer desktop notifications, so I think, then next step would be desktop notifications for your normal repl.it notifications (obviously this would be an option that you can turn on and off like email notifications)
: )