Is it a jump from the EMUI 5.1 to the Android Pie-based EMUI 9? And the size is also a cool 3.49GB. One of the biggest OTA updates.