メインマシンではThunderbirdでメールを吸い上げているんだけど、ときどきGmailの反応が悪くなって、メールを読み込めなかったりしていた。
調べてみたら設定変更でなおりそうだ。
https://life-of-retirees.com/2022/05/20/imap-reception-is-slow/
具体的な設定方法は、
設定エディターで、mail.check_all_imap_folders_for_new を true に設定した上で、アカウント設定→サーバー設定→詳細→アカウントの詳細設定で、サーバーへの最大同時接続数を5から2に変更した。
設定がどのように働いているのかは未確認だが、遅延なくメールを受信できるようになった。