Just my opinion, not specific for this case - maybe is good to keep the same name and mention that in the docs so people can dig into the curl/lib docs if then need additional info. Anyhow, renaming can be done afterwards, with another commit.

The feature is important for proper security, so I am all for merging.

—
Reply to this email directly or view it on GitHub.