Thanks for responding so quickly now. I have now posted the issue on GitHub so will see what is said there.
-- You received this message because you are subscribed to the Google Groups "K-9 Mail" group. To unsubscribe from this group and stop receiving emails from it, send an email to k-9-mail+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.