Do we plan to migrate away from CVS at any point? Or does it serve our purpose? I would have thought the lack of rename support would be a big drawback, especially for a nascent project like Tor. Amit