Sorry about the poor site performance today - apparently one of the other sites hosted on the server we use got "dugg", which resulted in a huge spike in traffic. Our web hosting provider is currently trying to reduce the impact that is having.