"If you are behind a firewall, you need to use the HTTPS-protocol, you can't use the SSH-protocol." This is simply not true. This is only the case, if the firewall blocks those ports. Which, I daresay, is usually not the case. Can you reframe? Otherwise I tend to revert the change as it stands now. --Dhaumann
If you are behind a firewall, and if you can't use the ssh-protocol, you might have success by using the https-protocol.