[EDIT] For heavens' sake! As soon as I post this, I find the entry in the manual. In admin mode... Stop playing when playlist is empty - should the...