Try out an XML fix for non-ASCII letters

Prior to this change, words like Mexico come out as
Mxico on www.erlang.org. No idea why. This commit
tries a workaround.