Tor 0.2.5.10 is stable

That's fine. We can just put it back when there's a new devel build available.