The text 4061b0ca8d74, as Debian 4.0 (Etch) shipped it.
unbind a driver from an interface
usb_driver_release_interface(9) on Linux now