> > The argument for this choice is mainly that it is more true to the > > history. E.g., with the current git repository you can't faithfully > > re-create old releases. > > Yeah. If it were up to me, I'd just bite the bullet and do this. FWIW, same for me. -- Joel