Re: [Hackage] #920: hackage-mirror fails with HTTP 400 on PlslTools