usb_deregister_dev(9) on Linux

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

deregister a USB device's dynamic minor.

usb_deregister_dev(9) on Linux now