The online docs that I've read describe a process that they say requires Windows. Hopefully that's not actually true. I didn't exactly scrutinize them closely.

Meanwhile, I came back home this afternoon after a morning out, and the wireless was working but all the wired ports were dead. Rebooting fixed the problem, but this is a bad omen. If this happens again, I'll have to return it.