@mrb that was my first attempt, but there are at least two separate settings that are buried down in different menus, and it's so inconvenient that I can't bother doing that 2 or 3 times a day https://androidforums.com/threads/k9-mail-how-to-turn-off-temporarily.394763/