index.html: remove unused href
tune data for index.html
escape data in history