New release: Tor Browser 13.0

[CRhode]

“New Identity” resets Default Search Engine setting.