I set this up a couple of weeks ago. I think Gmail only allows pop3 for email fetching, because I just couldn't get it to even try connecting to my IMAP. pop worked great though.
The settings even lists "POP Server", not "Server", even if you choose port 143 or 993
> I don’t think there’s a single legitimate reason to use POP3 any more
Well, pop was designed as a "download the messages" protocol, IMAP as a "keep messages on the server" protocol, right?
So while it doesn't prevent IMAP, pop is actually a better mapping in intent.
Pop is clear about what "the email" is. IMAP opens questions like "so… all email? Or just INBOX, or what?". And while it's not mandatory to delete the emails from the server with pop, it becomes even more of a complex question with IMAP.
The choice of pop3 very strongly implies answers to all of these questions, with no surprises.
Are there downsides to pop here that I'm not considering?