The NIC on my HP server has two ports, and one has failed. I'm sure it's a hardware problem, so I will get a new 4-port NIC for it, and probably disable the existing ports in the BIOS setup. The /etc/network/interfaces has a warning (from the Proxmox install) to not modify the file manually...