Cannot delete mail folder

For the record, this is is now fixed. I had to make sure that the permissions for all files inside each mail folder directory were the same as for the folder directory itself.
I also applied same permissions to the Maildir directory itself, but that wasn’t enough alone.
This may be a legacy of importing from a server running different software a couple of years ago. Mail folders don’t get deleted very often!