Sorry about the little server problem this morning. It was basically my fault, but I think it is fixed now and regular operations will resume.