Unable to set USBD_PID to 0 (error thrown)

[me21]

I'd like to use zero PID for my USB device but I'm currently unable to do it as it's forbidden by the following code:

Arduino_Core_STM32/cores/arduino/stm32/usb/usbd_desc.c

Lines 45 to 47 in 08ab454

	#if !USBD_VID || !USBD_PID
	#error "USB VID or PID not specified"
	#endif

According to https://stackoverflow.com/questions/30098394/is-pid-0-a-valid-for-usb-device, PID == 0x0000 is a valid PID, and the accepted answer there contains a link to a list of existing USB products, some of which have zero PID.