After initially trying MIUI 10 when I bought my Mix 3 a year ago and running into multiple problems with messaging, I decamped and started using AOSP-based roms. Last week, due mainly to the wireless charging bootloop problem that apparently afflicts all the AOSP roms (although there were a...