Do a multiple selection of those documents in the binder, then :
Well I never. Scrivener is even better than I thought, and you have been super kind and helpful. Many thanks!