I could see it right there in the tool call:

  Bash(curl -A "<my name> <my email>" "sec.gov...")