新井です
Gmailには協力な振り分けの機能があるわけですが、それでもなお端末側で振り分けできるメリットについて説得していただくといいと思います。
gmail以外のサーバを利用している場合はメリットがあるのは明らかなのでそこは除外して考えてください。
popの場合も今はローカルフォルダがないので振り分けを作るには敷居が高いです。もう一歩か二歩さきの話ですね。
振り分けの動作として
1. 通知を受け内容を確認して手動で振り分けるのがよいのか、
2. 通知を受けるが自動で振り分けるのがよいのか
3. 振り分けの結果、通知してもらいたくないものは通知なしにした方がいいのか
といった目指す機能も明確にした方がいいですね。上から順に実装が面倒くさくなっていきそうです。
ibismailがどういった動きなのかはわかりません。
私なんかは、即応性が必要な友人や相手が携帯などの場合はGmailで特定のフォルダに振り分けk9ではそのフォルダだけ購読しています。
あとのいろいろなゴミや読むだけのメールはゆっくりGmailでみてます。
なので私の利用シーンからフィルタを作る利点を思い付くことはないです。
ぜひ、良い案を提案してください。
--
FAQ: K9のログ取得方法は
https://sites.google.com/site/k9mailja/bug-report を参照