Hello i'm an Arch Linux user and i've been using XMMS & mplayer combination for a long time. But i just discovered VLC and the only thing i seem to miss is the ability to randomize the order of a (m3u) playlist. Would really appreciate this option in the 'sort' dropdown menu. Many thanks in adva...