Now up to about 5.003_97d. I already have more commits in the history than I finished with the first time around. Some commit dates are wrong, will be fixed shortly. I'm having difficulty pushing tags ... will hopefully find out what's going wrong soon.