Deletion is done by marking messages with deleted flag and then expunge to delete flagged messages. AIU rename exists: https://datatracker.ietf.org/doc/html/rfc3501#section-6.3.5

Push notifications: https://github.com/freswa/dovecot-xaps-plugin