Any word on when push notifications will be working? Or am I missing something? I have them turned on, but I get no notifications (and Eclipse is not listed in the Notifications settings page). ...