A URL manipulation engine from [https://curl.se/].