Hmm…it looks like Mail is getting every bit of GMail I’ve ever gotten, rather than avoiding all my archived mail. This will take some time