What is the format (or formats) of Rockbox playlists? Are they the standard .pla or .m3u? I want to create my playlists using Amarok under Linux or a similar program and then download them to Rockbox via the USB connection. I also want to edit them on the computer, since the interface there is much easier to work with. Is that a reasonable thing to do?
And by the way, I haven’t been able to locate the specification of the .pla format.