Replacing Gmail's "fetch mail from other accounts" with procmail + IMAP

The Problem For years, Gmail offered a convenient feature: it could periodically fetch...