Re: [outages] w3.org dtd files really slow?