fix(devtools-proxy-support): handle special characters in SSH URL correctly COMPASS-8254#469

addaleax merged 1 commit intomainmongodb-js/devtools-shared:mainfrom

8254-devmongodb-js/devtools-shared:8254-devCopy head branch name to clipboard