This is a fair amount of maintainance burden, and doesn't help much
more than the git microversion.

Closes ticket 14742.