Argh. Oh well. I got myself one of these on an ASUS P8H77-V. Didn't notice it said Atheros in the specs. That's what you get for not having a hardware issue with Linux for 5+ years, you get careless when buying new stuff.
> What should "happy" Ubuntu users do to get networking support on their new machines?
I'll try to install that driver, but if it doesn't work right away, I'll probably spend $10 on a different NIC (and make sure it's supported this time)... probably even just a USB one since in my case it's just for a simple Internet connection. It never hurts to have one of these in your collection anyway. And then I'll just wait until the Linux kernel supports the onboard one out of the box, hopefully the problem will be gone in the next 1-2 years.