At last someone seems interested to remove the Google push server dependency but without free distribution outside the Google’s walled garden I think its pretty much still another dependency.
Also some talk on adding censorship circumvention with Tor as a solution