Add ability to change HTTP proxy port

No match.