My Gmail account has become POP-enabled. But the port number is not 110; it's 995. The POP configuration page does not mention this (or that we have to enable SSL). Come to think of it, I referred to the Thunderbird screenshots there to set things up; when you enter the details of the POP server in Thunderbird, you are not prompted for the port number (it silently defaults to 110); you have to correct this by creating the account, then visiting the account settings dialog. I guess Thunderbird figures pretty low in the list of email clients the people at Google had in mind when they put up the help page.