[GRASS-dev] Should a g.rename action be recorded in a map's history?

Dear developers,

would you consider as important a renaming of a map, such that it should
be recorded in its history?

After renaming,

- a vector map, it's likely possible to trace back its origin from its
  history (v.info -h)

- a raster map, that has been created with `r.mapcalc`, for example, there
is no way to tell where it comes from -- other than the command history
or guessing from the expression used that is recorded in its history.

If yes, should I file a ticket?

Thank you, Nikos