Alternative: skip the remote mailbox completely

FWIW, I use Gmail but my approach is just not to involve it in receiving LKML mail at all. Instead I just have an old-fashioned mailbox directory on my hard drive and then I fetch mail direcly from Lore using lei. Then the only job for Gmail is sending replies.

This means that if someone emails me directly without CCing the list, I won't see it in my local mailbox. For that, I just use the plain Gmail UI to reply and hope the formatting isn't too bad. (I don't think the spam filters are too much of an issue here since those email are usually just a few sentences of English).

The command to do the fetching is here in case anyone wants to crib from it: https://github.com/bjackman/boxen/blob/08c15a3d33c3cea78b...