The phone was originally marketed to India and gets a lot of usage there.
I still think Lineage and this hackable phone are fantastic
I'm willing to build Lineage myself for it when I find the time for it (the amount of stuff you have to download to build an Android distro is completely crazy), but I'm just wondering… why aren't unofficial builds official? Is there anything that makes it difficult, or do people just not care?
It is neither difficult nor very slow to build it from source, but it can do with a fast internet link (~fiber speeds) as the build process initially clones from several git repositories (but later syncs just fetch the changes which is very fast). Unfortunately not everyone has access to fiber.
With fiber, the clone and build ought to complete in about a day depending on your machine's performance. I recommend that you build your own (let the initial build run in the background even if it takes more than a day to finish). If you do it once and use the built OS, you'll not search again.
That's insane btw. Great that you're ok with it, but utterly impractical for me: ADSL is maxed out at 800kbps and due to line noise generally get 80kbps. So I tether, using 4g and 0 to 1 bar of strength. During heavy cloud and rain it drops to hdpsa.
I'm a bit reassured by your words about the build, but the hard part for me is the download as I don't have fiber at home: I've already tried once and given up after a few hours. Compiling should be okay as I've some horsepower :)
Thanks again :)
Follow the build instructions: https://wiki.lineageos.org/devices/whyred/build
An additional thing you may have to do (on Fedora at least) is to export LANG=C.
You'll also need a vendor tree for whyred from somewhere, like your own phone or from a public repo such as this: https://github.com/Sweeto143/vendor_xiaomi_whyred/tree/oreo
(Getting the tree from an existing Lineage OS phone per the build instructions did not work for me.) Note that the latest version of whyred vendor tree for Android Oreo is from last year. I suspect this is because Xiaomi has moved on to Android Pie for whyred.
What all this gets for you is a build with the latest Android security patches applied (February 5, 2019 as of today).
Good luck. I can report that it builds and works well and it is straightforward to build it (more so for a programmer).