git-rename-tag(1) on Linux

The text b9798eaf492f, as Debian 9 (Stretch) shipped it.

Rename a tag

git-rename-tag(1) on Linux now