Add bit about semantics of push notification delivery guarantees