Re: [GHC] #9212: Cleanup of sync-all