I just rebooted yet again, and now it's working. So it appears to be mere flakiness, rather then a hard failure. I'll look and see if someone has posted a bugzilla ticket for this.