curl 2023-09-13 (6fa1d817)

Code extracted from:

    https://github.com/curl/curl.git

at commit 6fa1d817e5b1a00d7d0c8168091877476b499317 (curl-8_3_0).