Gmail pop server

On a technical note, it might be of some interest to those techies out there that gmail's pop server is not completely following the RFC. From some testing it appears that gmail's pop server will only "list" messages once; after they are retrieved they are removed from the list never to be seen again. This is interesting for a number of reasons, but for email clients the "leave copy on server" functionality almost has no useful purpose.

Also, when you issue a "dele" (delete) command, gmail seems to ignore this command altogether. It says "+OK marked for deletion", but from my testing the message is not deleted.

Not sure if this is a bug, or intended, I couldn't find any mention of it on gmail's site though. Let me know if you can find anything.