@bagder

I looked up the curl man page, especially the example for changing the user agent:

Example:
curl -A "Agent 007" https://example.com

😎