I have been beating this dead horse since I got my RN8 last January: tl;dr, how to go about correctly setting up MicroG on this device?
Phone is already on the latest Xiaomi.eu ROM and rooted with Magisk.
While I have been advised that just installing MicroG would be enough...