The `https@` program

Interface

  https@ host page port args

https@ connects to host on port via TCP, and then attempts an SSL connection. It sends the request:

  GET /page HTTP/1.0
  Host: host

and prints the body of the response, removing the CR from the end of each line.

If port is not supplied, https@ uses TCP port 443 (HTTPS).

If page is not supplied, https@ asks for / from host.

If host is not supplied, https@ connects to the local host.

If args are supplied, they are passed to https@ unmodified.