I moved a machine from Dad’s to Mom’s, and updated the static IP configuration. First I realized I spelled gateway wrong. Then I realized I put the wrong IP under network. I still couldn’t contact hostnames. I went DHCP, and it started working, and continued working when I switched back to static. It wasn’t fun to be doing this over SSH and absently running network stops instead of restarts. I guess I’m used to messing with networking locally.