Xiaomi still insists on a busy software skin with its HyperOS version of Android, but it’s less invasive than in years gone ...