[tor-announce] Tor 0.2.4.23 is released