better comments
use CURL method to allow overriding in single place in proxy settings
even more comments
use (possibly null) central definition for proxy
fix ssh command in non-vagrant case
use (possibly null) central proxy definitions
use (possibly null) centralised proxy definitions including a definition for CURL
fix typo, missing close double quote