Documentation for tex-showlabels
