It is the best use of push notifications I've seen.