For some inboxes there’s no reason to keep anything beyond a certain date. For example ports-changes@ isn’t too relevant to save the emails for an extended period of time. So slowly, but very surely, that mail folder reached 30k messages. While in the past I’ve manually deleted a full year of email by putting a weight on the d key (no kidding), there had to be a simpler way. Turns out there is with tagging.