If you’re a big Android fan, or you live on tech Reddit, you’re probably deeply acquainted with Xiaomi. If you’ve never heard of the Chinese company, well, it’s the second-largest manufacturer of smartphones in the world. Xiaomi executives figured that the sm…