We no longer use the pre- and post-merge scripts to strip/add RCS tags. The tags have been removed from main, but persist on older branches.

While here renumber the steps in the update documentation using a more conventional scheme.