r.carve(1grass) on Linux

The text 38d8bf3ea22a, as Debian 11 (Bullseye) shipped it.

Generates stream channels. Takes vector stream data, transforms it to raster and subtracts depth from the output DEM.