removed mapping.html; it is now on the gh-pages branch