"The big issue is that the push gets sent at all, not what's in it. It lets an attacker identify somebody by *when* they get messages, messages the attacker may even have sent."

This is why TOR is so slow. The TOR protocol must randomize the time it decides to transmit the message, a delay, so that the user does not get de-anonymized.