Ah, the hosts file. Let’s research which ways of name resolution use it and which don’t. [A few hours later] …