After reinstalling Replicant on phone, I couldn't bear to configure email settings again by hand, so wasted a couple of hours writing a script to do it instead.

https://stumbles.id.au/configuring-android-k-9-mail-from-the-command-line.html