The text e9b5955b4b74, as Debian 10 (Buster) shipped it.
detach a device
DEVICE_DETACH(9freebsd) on Linux now
