cvs tag renaming after repo copy

[John E Hein]

John E Hein wrote at 13:20 -0700 on Feb 28, 2008:
 > Thanks.  I did something similar (not using cvs ops, but rather
 > directly munging the ,v file) with awk, but I had issues with binary
 > files.

Regarding binary files, I tried my awk again, but this time with gawk,
and it had no problems.  I wonder if I stumbled onto a one-true-awk
issue (or if my expectations were wrong).