That’s what I’m saying - add those two lines (with the appropriate proxy server details filled in, of course)