[tor-announce] Tor 0.4.0.5 is released.