What is the correct character encoding for http://www.w3.org/TR/REC-html40/html40.txt? from Yi, EungJun on 2013-05-28 (public-html@w3.org from May 2013)

From: Yi, EungJun <semtlenori@gmail.com>
Date: Tue, 28 May 2013 21:32:31 +0900
To: public-html@w3.org
Message-ID: <CAFT+Tg8gFHfrRhn5to2CifW9fy=hAxzbGk1WfTZ0XJjdBCKPKw@mail.gmail.com>

Hi, all.

I just have tried to get plain/text version of HTML 4.01 specification
from http://www.w3.org/TR/REC-html40/html40.txt, but some characters
were broken because its Content-Type header did not have charset
parameter and my web browser tried to decode the document in
ISO-8859-1 by HTTP/1.1 specification.

What is the correct character encoding for the document? My editor
guesses the correct encoding is ISO-8859-15. Is it right?

---
Best Regards,
Yi EungJun

Received on Tuesday, 28 May 2013 22:54:08 UTC