For years, I was deleting messages in Mac Mail POP thinking they would be erased from my local drive. However, I see that they did not erase from the drive and my mail file where all the emails are stored (user/Library/Mail/) is 40GB. To free up space, I would like to delete many unwanted emails...