I just loaded a group of numbered video files into VLC for iOS and I was surprised to see that the file list doesn’t get properly sorted. Searching the forums, I found this listed as a bug in the VLC for Linux forum in 2015. Is this bug still in your list of problems to be corrected? For a large fil...