The text c9d78a288b52, as Debian 10 (Buster) shipped it.
manipulate device quiet flag
device_verbose(9freebsd) on Linux now
