the problem. The code now tries harder to use httproxy and proxy where
  apppropriate, as not all proxies are HTTP...