Roles related to collections

Changes for 0.009 - 2023-08-26

• [bugfix] roles Collection::PickItems::{RandomPos,RandomSeekLines}: forgot to mix in Collection::PickItems.