Digital TV XSPF playlists for use with VLC Media Player