Allow special characters in map names; titles for HTML pages.
Merge branch 'map-names' into gh-pages