PMM2Maildir: New script for converting PMMail/2 trees into maildir format
PMM2Maildir: Enhance comments and docs
PMM2Maildir: File name fixes for correctness and reliability