I've noticed a bug that's probably upstream AOSP, but I wonder if it's possible to fix or worth addressing somehow: duplicate ringtone and notification sounds. In /system/media/audio, there are near-duplicates of several files; they differ in upper-lower case, but also in file size, but seem to...