It appears that I have successfully upgraded the site from Drupal 4.7.6 to Drupal 5.1.
Contrary to some others’ experiences, I was able to go directly between those versions without stopping at 5.0 in between.