Thanks for bringing up this polling compilation, hopefully the devs will bring at least one of these handy options into MIUI 13 👍