3 ms·

Or just Android's push service, which lets apps handle the notification and decide what to do (unlike iOS).