It is implemented, it just has not been used from our side yet.

The main problem consists of setting up the mailing list for the Push - right now we have two mailing lists for various annoucements (from historical reasons) but we need to completely change this before Push will be used. I hope this will happen quite soon…