HTTP client: make server/proxy and port params more consistent; minor other improvements