Added charset= utf8 everywhere... there was one in files, but
for total portability, should probably use env.encoding or something.
Would need a non-utf8 system to test, I guess.
Also, removed two script tags that was dead code for my experiments
with syntax highlighting.