Dank voor het snelle antwoord, beste Montagnard.
Mijn uiteindelijke bedoeling is een groot aantal berichten te verwijderen, die ik, zeer waarschijnlijk maar niet echt zeker, nooit meer zal nodig hebben. Zo komt dan opslagruimte vrij in mijn Google-account.
Een andere emailclient installeren? Welke zou dat dan moeten of kunnen zijn?