In the past 2 months or so I have had this issues where the 64G of my xiaomi mi 8 is being bloated by "other files". They appear predominantly when I delete large video files, so I strongly suspect there is a problem in the MIUI 12 with deleting files properly. Specifically, the moment I delete...