Re: [GHC] #7632: ./sync-all pull fails in libraries xhtml (was: `./sync-all pull` fails in `libraries xhtml`)