I don't know about the implementation details, but even the use case is slightly different, as the discussed techs are also meant to transfer larger amounts of data. At the same time, mobile push is more about triggering synchronization than transferring large amounts of data.

However, since the discussed techs all have major problems with mobile connections, I still think it should have been discussed in more depth.