Comment by JonChesterfield

Do you happen to know why deleting lots of emails at once doesn't really work? Gmail that is. Select all 100k or so, delete, gets rid of the first N but not the rest, and N is order of some hundreds. It means delete old emails is far more time intensive than it should be.