ありがとうございます。
ドコモメールはIMAPですが、ドコモメールアプリは過去のメールが保存されているのでAqua Mailでも同じようにしたかったのですが…。
Pixel 3に替えたけど、ドコモメールが普通には使えないんですよね。ドコモが販売しているんだから使わせてくれたっていいだろうに。
そう言えば、iPhoneのドコモメールはどうなんだろう？