Mailmanはコマンドで過去メールが取り込めないようなので，ぐぐったら同じ人がいた．Gzip圧縮テキストをダウンロードして，言われたようテキストを加工してThunderbirdにImportExportToolsプラグインをいれて，インポートを試みるも． とつれない返事．それ…