Updated docs for the PushManager class (whew).