By the way, if anyone want to buy this device, the older MiBox (MDZ-16-AB) basically has same internals and can be cheaper.
The biggest difference would be the remote.
While I dont have link, you can also use LawnChair: https://lawnchair.app/ (or V2 from APKMirror: https://www.apkmirror.com/apk/deletescape/lawnchair/)
I consider this best launcher lately.