Dorico Pro (not Elements) already has a Filter By Pitch dialog, and for filtering specific pitches it works beautifully. I wonder if it might be extended to filter all notes between a range (e.g. A6 to Eb7). At the moment it’s a bit painstaking having to add each individual pitch separately.
Yes, this would be a logical thing to add to the dialog. I’ll make a note of it.