I know! Each machine could have a file listing all other hosts. We could put it in the /etc directory. /etc/hosts That would totally fix the DNS problem. B

I know! Each machine could have a file listing all other hosts. We could put it in the /etc directory. /etc/hosts That would totally fix the DNS problem. But I think we should wait till Flag Day (June 14, 2017) to make the change.