Thank you, the_maker! To clarify: I've been using the forums at en.miui.com to request features, report bugs, get changelogs and so on for the last couple of months. Have I been using the wrong forums all along, i.e., should I have been doing that here instead?