===> Cleaning for tex-bussproofs-doc-1.1