===> Cleaning for tex-clrscode-doc-1.7