Bad handling of --proxy curl option

[Julien-Pinon]

curlie --curl --proxy 10.42.42.4:13128 http://perdu.com
gives
curl --proxy -H http://perdu.com http://10.42.42.4:13128 -s -S -v -H "Accept: application/json, */*"
where it should give
curl --proxy 10.42.42.4:13128 http://perdu.com -s -S -v -H "Accept: application/json, */*"

The problem is in the parsing of curl -h output, proxy option line is (at least in my cur version)
-x, --proxy [protocol://]host[:port] Use this proxy
and does not contain <.*?> as expected by args/gen.sh

curl --version
curl 7.72.0 (x86_64-pc-linux-gnu) libcurl/7.72.0 OpenSSL/1.1.1h zlib/1.2.11 zstd/1.4.5 libidn2/2.3.0 libpsl/0.21.1 (+libidn2/2.3.0) libssh2/1.9.0 nghttp2/1.41.0 Release-Date: 2020-08-19 Protocols: dict file ftp ftps gopher http https imap imaps pop3 pop3s rtsp scp sftp smb smbs smtp smtps telnet tftp Features: AsynchDNS GSS-API HTTP2 HTTPS-proxy IDN IPv6 Kerberos Largefile libz NTLM NTLM_WB PSL SPNEGO SSL TLS-SRP UnixSockets zstd