Since the rest of the family is away during midsummer, I have taken this occasion as a chance to do some upgrades to the server park. I have replaced the router/webserver/dns box with a brand new Ubuntu installation, which will be easier to manage than the old gentoo system. That system had been running for [...]