[Tails-dev] Faking htpdate user agent worth it?

Hello,

I am wondering about this line in /etc/default/htpdate:
HTTP_USER_AGENT="$(/usr/local/bin/getTorbuttonUserAgent)"

Since you are also using curl and only download the header, does faking
the Tor Button user agent provide any additional benefit? Couldn't the
server quite easily distinguish from real Tor Button users and tails_htp
curl users?

Even if you were not telling curl to only download the header. If you
were still downloading the whole site. Would that actually add any
additional benefit?

Haven't found this in the design. Please explain.

Cheers,
adrelanos