I currently use VLC on iOS as my music player. However, if I switched to Android, I would want to be able to move my playlists across. If I press "Dump media library" at the bottom of settings, it spits out a file named "medialibrary.db" in the VLC folder. Does this contain my playlists, and could I use this to import them into another instance of VLC?