Thanks for the response. I think I'll wait a bit for tomorrow's weekly just in case it works better. If memory serves correctly, I've upgraded to MIUI 9 from MIUI 8, so perhaps a clean install will improve things, but I'm really hesitant to have to spend a few hours again for reinstalling apps...