Re: [Hackage] #748: cabal does not use JavaScript proxy autoconfiguration (was: cabal update fails)