Our usb.ids is utterly outdated, and using it is simply a bad idea.
Since we have been supporting a system usb.ids for quite a while, then
drop the support for a local version of usb.ids.