;; Static IP addresses for various useful hosts (defhost guvnor.distorted.org.uk 80.177.3.76) (defhost boyle.nsict.org 85.158.42.162) (defhost chiark.greenend.org.uk 212.13.197.229) (defhost mccoy.flatline.org.uk 80.74.241.31)