Thank you for pointing this out because otherwise I would have missed it! I saw the push notification, snorted, and went back to work.