Small hack to add a href link to each history element. This allows to link results in documents.