new-named tags for v6.9 and older

[Jim Meyering]

There are a bunch of old-named (COREUTILS-M_N) tags
from COREUTILS-4_5_1 through COREUTILS-6_9.
I've just retagged those with names that are consistent
with our current naming scheme: v4.5.1 through v6.9.
Note that I take care to use the date of the original
tag when creating each new one, effectively back-dating
each tag to its proper date.  Otherwise, the recent-tag
list you see e.g., at http://git.savannah.gnu.org/cgit/coreutils.git/
would be overrun with all of these old names:

  $ git tag|grep CORE
  COREUTILS-4_5_1
  COREUTILS-4_5_10
  COREUTILS-4_5_11
  COREUTILS-4_5_12
  COREUTILS-4_5_2
  COREUTILS-4_5_3
  COREUTILS-4_5_4
  COREUTILS-4_5_5
  COREUTILS-4_5_6
  COREUTILS-4_5_7
  COREUTILS-4_5_8
  COREUTILS-4_5_9
  COREUTILS-5_0
  COREUTILS-5_0_1
  COREUTILS-5_0_90
  COREUTILS-5_0_91
  COREUTILS-5_1_0
  COREUTILS-5_1_1
  COREUTILS-5_1_2
  COREUTILS-5_1_3
  COREUTILS-5_2_0
  COREUTILS-5_2_1
  COREUTILS-5_3_0
  COREUTILS-5_90
  COREUTILS-5_91
  COREUTILS-5_92
  COREUTILS-6_0
  COREUTILS-6_1
  COREUTILS-6_2
  COREUTILS-6_3
  COREUTILS-6_4
  COREUTILS-6_5
  COREUTILS-6_6
  COREUTILS-6_7
  COREUTILS-6_8
  COREUTILS-6_9

  # Create better-named signed tags, yet with the same old date as
  # the old-named tag.
  for i in $(git tag -l 'COREUTILS-*'); do
    v=$(echo $i|sed 's/COREUTILS-/v/;s/_/./g')
    date=$(git log --pretty=%ci -1 $i)
    echo $v
    GIT_COMMITTER_DATE="$date" git tag -f -s -m$v $v $i
  done

  # Inspect, then push ...

  tags=$(
    for i in $(git tag -l 'COREUTILS-*'); do
      printf 'tag '; echo $i|sed 's/COREUTILS-/v/;s/_/./g'
    done
    )
  git push origin $(echo $tags)

Can anyone see value in keeping the old named-tags, now?