JS: Playlist feed -- fix filenames with multiple dots