Thanks for the excellent details. I thought that email also used push (on all platforms). Is that special cased? Or a different type of push?