As found in From The Desktop section here, I accessed the Networking icon at the top right in Gnome on the desktop. It showed Wired Off, I simply turned it on and the Ethernet card woke up (Wired Connected), got its DCHP address, and we were reconnected to the network with a different name on the interface.