Prioritize port 443

[link2xt]

Port 443 has more chance to work
in networks where ports other than 80 and 443
are dropped.
Otherwise user has to wait for other ports
to time out before trying port 443.

[link2xt]

hopefully this does not break thunderbird autoconfiguration, hope it tries other ports as well

[link2xt]

I tested, it breaks Thunderbird. Thunderbird configures port 443 and then fails to connect, also if you then click "configure manually" it shows port 443.

[link2xt]

For known providers we can prioritize via provider DB, and long-term this should be fixed by parallelizing connection attempts.