pop3 login can now be user@domain.example@https://webmail.example.com

in addition to user@https://webmail.example.com