Le lien de @RGJ renvoie à une correction de bug récente. La correction a été appliquée aujourd’hui et n’est probablement pas encore déployée.
Même lorsque cette correction sera en ligne, il y aura toujours une fenêtre de 10 minutes pour les notifications push, pendant laquelle les notifications ne seront pas envoyées si vous avez visité le site dans les dix dernières minutes ; c’est un réglage général du site.
J’ai déposé une demande de fonctionnalité pour que cela soit configurable.