I’ve been using Gmail filters to route mail from various mailing lists into different folders [Google Mail calls them “labels”, just so you know –DT] but as I proceed, I find that I don’t always like the initial name I use. How can I change a folder [label!] name?