This could use `new StreamController<PushMessage>.broadcast()`