Haha, more of a necessity, but yes, it is very nice to have.

Oddly, I did see an issue yesterday with the push notification arriving multiple times (far apart from each other) even though the server only sent it once.