===> Cleaning for lean4-4.32.2