Update cvs2git.html.