chiark / gitweb /
resolved: flush cache each time we change to a different DNS server