New release: Tor Browser 13.0

[eddlang]

I don’t use the same level for every website. It doesn’t change the maximizing situation either.