Oh crap. Gmail is deprecating support for picking up mail from a remote server using POP3 polling in January 😠Given that I switched to this mode due to reliability problems with direct delivery via mail forwarding, this really sucks...
I wrote https://github.com/ScottESanDiego/gmail-api-client to work around this, using exim and fetchmail to get things into #gmail . It's working REALLY WELL so far, with all the usual filters and stuff, just as when using #gmailify .
Problem is that it uses "restricted" API calls which means annual code security reviews which I'm not going to do ($$) OR renew the auth every seven days. My app is "in production" so the token isn't expiring, not sure what happens when I fail to do a code review.