Non-ASCII fixes in gh-pages

Similar fix to #1156 but on the GitHub Pages branch.