Today, it wasn’t DNS, it was DHCP and me being too quick on plugging back in the device when pings timed out. Had I waited another five seconds, I’da seen the other device start responding. Grrr.