The problem may be that the m3u would contains artist name, song title, and position in the playlist, and even if you could export this, it would not be very ro

The problem may be that the m3u would contains artist name, song title, and position in the playlist, and even if you could export this, it would not be very robust to import somewhere else.