Add pointer for paper/pdf readers to html version