The text 80c37615b32f, as Debian 11 (Bullseye) shipped it.
Converts a raster map into a vector map.
r.to.vect(1grass) on Linux now