i don't suppose anyone knows how to include the following into a http_proxy
variable that parses correctly when passed to wget (it seemingly doesn't
work when you just type it into the 'details'...