===> Cleaning for csound5-manual-5.01nb2