Re: Use a more modern HTML DTD by default