Different getDeviceIdentifiers() in 32 and 64bits


Could you add to the documentation of getDeviceIdentifiers() that the returned strings may be different in 32 and 64 bits? (This is the case of getDeviceIdentifiers()[0] on windows)
Or is that a bug?

What method do you recommend to have a unique and consistent device identifier? the mac address?