this option only shuffles the children of the playlist where it's set

And since we're wishing....

It'd be nice if this were an interactive option, too. Maybe I'd want to listen to all my Zappa albums randomized, but not always.

This is a minor wish, though, as if I thought I might ever like to do that, I could set the option. If I wanted to play thme in order, it's fairly trivial to do so manually.