docs: def _set_server_known(cls, host, port):
          """
          Store the host/port combination for this server
          """
          with PostgreSql._known_servers_lock:
              PostgreSql._known_servers.add((host, port))