Vid Lei Juns årliga tal i går kväll, förutom en serie nya smartphones som Xiaomi MIX Fold 2 och Redmi K50 Extreme Edition, ...