With this patch, information about user-supplied ids is printed only
once at startup instead of everytime any USB device is plugged in.

The patch is on top of the new ids patch.