[tor-commits] [torbrowser/master] remove unnecessary file extension from https-everywhere version string