discussion on gnupg-devel suggests that we probably want to change the behavior in dirmngr for use-tor, which currently confuses users who try to modify that setting and get confused when it doesn't change after asking dirmngr to reload.