< http://hpux.tn.tudelft.nl/ftp/hpux/X11/Misc/xbaby-1.2/xbaby-1.2-src-10.20.tar.gz 500 Can't connect to hpux.tn.tudelft.nl:80 (Bad hostname 'hpux.tn.tudelft.nl')