On Thu, Jan 17, 2008, Rafaël Carré wrote: > When the user explicitely selected these options on the command line it > should be allowed (especially since rc interface doesn't have > interaction), and forbidden only when it happens behind user's back (in > m3u playlists, and browser plugins) +1 -- Antoine Cellerier dionoea