On Tue, Oct 05, 2010 at 01:56:22PM +0100, Simon Marlow wrote: > > feel free to ask. (ultimately accounts are handed out by the Galois > admins, since it's their machine). Actually, SoC money was used to buy the current server, but Galois do kindly donate hosting, bandwidth, and sysadmin time. Thanks Ian