git-rename-tag(1) on Linux

The text c233c067cfe3, as Debian 10 (Buster) shipped it.

Rename a tag

git-rename-tag(1) on Linux now