===> Cleaning for tex-showlabels-doc-1.9.2