===> Cleaning for tex-comment-doc-3.8