I’m afraid that such multiple selection (docs whose names start with 0-9) cannot be done with Ditto’s filter. The reason for this is a way in which Ditto’s filter behaves. We need to keep in mind that filter EXCLUDES documents. Filter like "name,A,11" means: exclude all documents whose name does not start with "A". Of course, we can try multiple filter like "name,0,11|name,1,11|name,2,11|...", but it will always lead to empty result set due to the mentioned internal logic of Ditto’s filter -> in first step it excludes docs whose name does not start with "0" and in the second it excludes docs whose name does not start with "1" (actually, it excludes all docs that were selected in the first/former step). Multiple selection needs something custom-designed.
Alright, thank you for all the assistance anyway. The 0-9 isn’t that important. If I can’t find a solution I’ll just set it to re-list all pages in DESC order so that numbers come first anyway.