Well, get used to it, our ROMs for POCO F2 Pro are based on the China ROM for Redmi K30 Pro, which comes with Redmi branding (boot logo, sometimes even boot animation).
You can't have both Mi and Redmi branding in the same ROM, so we rather not touch it at all (unlike we did previously, in fact it was several releases back when we stopped replacing these items).
i'm curious as well. few other issues that i couldn't compile up until now:Raphael users who flashed the update, are the gesture animations any better/smoother now? On previous 2-3 versions animations used to be kind of choppy from time to time.