===> Cleaning for tex-hfoldsty-1.15