In the process of trying to diagnose an apparent caching problem, I came across the command `dns-fix`. Unfamiliar with it, I ran `man dns-fix`. No result. `dns-fix -h`. Again, nothing. Ditto for `dns-fix --help`. Finally, after running `dns-fix` alone, with no arguments and receiving no response in ...