[tor-announce] New stable release: 0.4.2.5