Comment 9 for bug 1999909

Due to confusion that came up in chat, let me document some clarifications

What was tried:
  $ pro config set https_proxy=https://foo:<email address hidden>:443
What should be tried:
  $ pro config set https_proxy=http://foo:<email address hidden>:443
Mind the lack of "s" in the second case on the right side.

Furthermore this is already an uncommon setup.
Port 443 is https itself, a proxy usually resides on :3128.

And just to re-iterate - please try to answer all the questions I had and not just one of them.
Especially on the usual "does it work? why not?" do not just reply "no".
Have seen it too often, want to prevent it before it happens :-)