Providing SSH access to farm machines on port TCP/443 had been requested several times, so we deployed this setting on most farm machines (in addition to the usual port TCP/22).

Note that some of our hosts have firewalls that may block access to port 443. We now display which SSH ports should work in the list of farm machines, but this information is entered manually and may not be fully up-to-date.