chiark / gitweb /
distorted.lisp, hosts.lisp: Remove defunct host `jaguar'.