I rebooted my Eee PC this morning after several weeks of uptime.
It came back with networking not working. Since it took me ages to
work out what had gone wrong, and Google was no help, I think I
should write it up for everyone’s benefit.