Different getDeviceIdentifiers() in 32 and 64bits

I just stumbled into this situation, using JUCE 5.4.7 and Windows 10.
Is this really how it works? 32 and 64 bit apps return different results?

Edit: I guess it really is

Bad name for a function!
Makes us think we can trust it as a Device Identifier.
Indeed should be documented that 32 and 64 bit apps return different values.