g10: Tweak TOFU's verbosity.