At least two people have been confused by the fact that there are two copies of `set_managed_proxy_environment` (one for Windows, and one for Unixoids), and that confusion has come close to producing at least two bugs. Time to refactor it to produce a smartlist on all OSes.