The protocol is SSH, but the port is 443. Yes, it's not HTTPS, it's just SSH on a different port than 22.