Allow special characters in map names; titles for HTML pages; edit
options in static site
Merge branch 'map-names' into gh-pages