Remove unused HTML5-History-API