Clarified when the PushManager should be shut down.