finn: I used Tor in this case. But in retrospect, one thing I was
concerned about was the site downloading something malicious without me
knowing it. Would Tor have protected me against that?
yep, Tor browser is harden enough to protect you from these kind of attack and provide
better anonymity unless and untill you don't do any stupidity. If possible always
prefer to use Tor Browser.