thanks for the reminder. we know about “unified push” and probably will reconsider on the next iteration.
in general, however, on de-googled-phones also IMAP IDLE usually works using a background connection, so that https://dontkillmyapp.com is less an issue as on googled-phones.