HTML output should specify text encoding?

[Francis Tyers]

Would it be a good idea to specify a text encoding in the HTML output ? Otherwise some browsers don't correctly identify Unicode. It would probably be enough to put:

	<meta http-equiv="content-type" content="text/html; charset=utf-8" />

in ./modules/xrenner_out.py.

[Amir Zeldes]

Good idea!