The text 334c88b37b88, as Debian 10 (Buster) shipped it.
Converts a raster map into a vector map.
r.to.vect(1grass) on Linux now
