2019-10-27, 23:56
Solved. I changed the directory structure for these 9 songs from <root>/mp3files/vinyl/single/frontside/filename.mp3 to <root>/mp3files/vinyl/single/filename.mp3, removing FrontSide. It seems that Kodi is more persnickety about directory structure than I thought. I then had to edit the changes into all my playlists. Also it took several manual library rescans, then setting "update library on startup", then restarting to get this change in the directory structure to "percolate through the system". Please note this was not a general problem, but only with 9 songs in one directory and only visible when using m3u playlists.