===> Cleaning for pinball-0.3.20201218