Demo implementation of the HTML5 history API.