I do realize that, that is why it confuses me, but I think they may be different branches hence the weird build number when compared to the actual version.
For those willing to give it a try I have created
this Magisk module (based on
https://xiaomi.eu/community/threads/miui-launcher-moded.59189/#post-581812) that downgrades the MIUI Launcher version to the last RELEASE version that does not exhibit the bug (4.21.16.3216).
Let me know if that does the trick for you guys. On my Poco F2 Pro running MIUI stable v12.5.4 it seems to work just fine. But of course take it with a grain of salt.