Sigh.
So, to get the machine working temporarily until I have all these devices figured out, I edited /etc/network/interfaces and used the new device names, followed by a reboot.
After reboot, I now have yet another old naming convention device, eth1, instead of its recent name, enp13s0f0...