I have a playlist that works acceptably for VLC on my laptop. I would expect that the same playlist, if loaded into a directory containing the same .MP3 files on my Android phone would produce the same result when played in VLC for Android, but it appears not to. The tracks are loaded, but the exten...