g.rename(1grass) on Linux

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

Renames data base element files in the user’s current mapset.

g.rename(1grass) on Linux now