Now that you mention it, I did stumble a bit when configuring the NIC at setup. So, OK, I'm starting over. Boot the installer, go through the steps ... and here we are, at the Management Network Configuration screen. Last time around, I went with the default Management Interface (enp12s0 ... )...