Ah, gotcha. Figured as much, and not a deal-breaker; it’s literally been sitting in a closet for a year, so now it’s at least usable again without an external USB Ethernet dongle.