Bill: What encoding, please?
tderz: How do I find out? asks the Computer anti-nerd.
MrTenuki: I managed to "fix" the incorrectly encoded characters by copying from version 35, and the page now displays correctly in Unicode (UTF-8). However, the Western (ISO-8859-1) encoding stopped working. Strange...