Since I only have five usable public IP addresses, I've had to resort to using a private network, of which the Windows system is on. Now, since I tend to browse from Windows (as I actually like IE better than Nutcase) I can't directly browse the internet.
No big deal. I set up Squid [1] on the Linux system. Only I forgot one thing when linus.slab.conman.org changed IP addresses: I forgot to change the entry in /etc/hosts.
Sigh.