USB_DEVICE_VER(9) on Linux

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

describe a specific usb device with a version range

USB_DEVICE_VER(9) on Linux now