usb_driver_release_interface(9) on Linux

The text 0e6e0af06d75, as Debian 9 (Stretch) shipped it. The page shows this text now.

unbind a driver from an interface