Well, I'm that Gmail user who used POP3 fetching from my previous email from day 1 of using Gmail. I guess I'll have to set up IMAP then, at least until the time they'll take it away, too.