Update: I think it's a network problem in fact; getting about 50% packet loss when I ping www.kingdomofloathing.com - many other sites, both physically close and translatlantic, seem fine, but there are some others that are failing similarly, so maybe some routing weirdness with my ISP. The...