No suggestions but to edit /usr/bin/getmail as per the instructions on that page you gave me.
Thanks. I switched to fetchmail, and will probably keep using it. I went over the docs again and saw how to use UID's so fetchmail wouldn't keep downloading the same messages over and over if they were kept on the server. I then had an idea to run the imap daemon, so I can now just remove them with fetchmail, then set up an imap account to localhost in Mozilla and see them that way. Much easier.