Improve proxy settings#10833

joostverhoog wants to merge 2 commits intomendix:developmentmendix/docs:developmentfrom

joostverhoog:proxy-settingsjoostverhoog/docs:proxy-settingsCopy head branch name to clipboard