Add (or allow for) note about device identifiers

[BasThomas]

For diagnostics, we add the so called "machine ID" of devices, like for example "iPhone14,5" (which is an iPhone 13).

This can be confusing as it somewhat closely matches iOS versions (in this case, iPhone 13 running iOS 15 and up).

Adding a note that this number (in the machine ID) is part of that identifier would alleviate the confusion.