seems that they are trying to replace Google's push API with a websocket-based solution. See https://github.com/WhisperSystems/TextSecure/issues/1106