===> Cleaning for tex-oberdiek-doc-2023