===> Cleaning for texlab-5.25.1