The text e93a528cb4cb, as Debian 7 (Wheezy) shipped it.
manipulate device quiet flag
device_verbose(9freebsd) on Linux now
