i have interest in reading about IDLE which lets one get server side pushes regarding new email. https://datatracker.ietf.org/doc/html/rfc2177 . i'm just not sure how to implement a client such that emails aren't dropped within race conditions.