chiark / gitweb /
etc/apt-conf.d/90local: Set more usual proxy.