===> Cleaning for menhir-20220210