===> Cleaning for tex-oberdiek-2022