Thanks again for your help, Edhawk! You're a true asset to this community. I will indeed pick up an RTL8125 network card. Incidentally, a new version of the AppleIGC kext (version 1.7d3) was posted overnight on GitHub, but doesn't help (for me, at least). Meanwhile, I also found a newer 1Gb USB...