>But it wasn't POP, since that deletes the messages on the server, and Huma was actually using other devices, so that didn't happen.
Incorrect assumption - both POP and IMAP 'behavors' can be configured in the email client or server (depending on protocol used).
For multiple device access, you woul typically need to configure settings to leave emails on the server to ensure availability for multi-device access.