Re: [GHC] #13194: Concurrent modifications of package.cache are not safe