So tell me. Do you think #curl should support plain SSH:// URLs to execute commands remotely?https://github.com/curl/curl/pull/22661