set_managed_proxy_environment should be OS-independent
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information