[tbb-commits] [tor-browser-build/master] HTTPS Everywhere: Version bump - 5.2.13