yes, i think one app having a websocket and dealing with push notifications seems better than every app having a websocket