Ability to export/share playlists as a file

VLC for Android stores playlists created from within Android in VLC's SQLite database. It is currently able to read a playlist file and load the playlist, which is awesome. It is not able to go the other direction and export an internal-only playlist to an external file. This means that if I create a playlist on my Android while away from home, I cannot easily share that playlist to my computer, which has the master copies of my media files. I would love to be able to do this in VLC.

BTW, I think VLC for Android is awesome as it doesn't rely on Google's buggy media library code to index and play FLAC files.