===> Cleaning for tex-verbdef-doc-0.2