Adding character encoding to howto.html