Maybe this could become a solution to the shitshow of a problem with Android APIs that make it impossible for any music player app to let user delete locally saved music files?