On the Oneplus website, the device is sold with the OxygenOS 15 operating system. Digitec lists Android 15 as the operating system. What is the difference and does the Digitec version really not come with the original Oxygen OS 15 operating system, which is advertised and generally rated highly?