===> Cleaning for tex-tinos-doc-2022