By the way, this solution worked instantly for my question last night about inconsistent DNS lookups between shell tools and web browsers.
Addenda
- To avoid confusion, I edited to link directly to the answer that worked for me (the first one in the conversation), and not just the general thread.