What user agents have Torbuttons claimed?
Over the years we've changed user agent several times, to try to keep up to date.
Is there a list anywhere of what these user agents have been, and what versions of Torbutton claimed them?
When doing analysis of old web logs (e.g. for the Freedom House analysis of the website in Iran) I think it would be interesting to see how many of the connections from known Tor exits were using a Torbutton user agent (and how many weren't).