i'm not sure all those "installs on actual phones" in china are real - 107k installs all on the same device, vs ~30k installs on the next most popular device. and 150k devices on an unknown carrier. is the Xiaomi Mi 8 really that popular for lineageOS, or is this some measurement artifact or common emulation setup?