Re: [GHC] #8369: Small improvements to ./sync-all