@news When you say “fixed”, what does that mean? I was under the impression that the lack of push notifications was a deliberate choice.