grcov(1) on Linux

The text ed10a5f4cc82, as Debian 12 (Bookworm) shipped it.

grcov

grcov(1) on Linux now