I've just set up Mail with Gmail's IMAP account and I'm wondering what to do with my POP account. I've disabled it from within Gmail and I don't know whether to keep it, delete it or something else. For those of you who used POP before IMAP, what did you do with it?