HolePickers doesn't lose PickedResult anim id mapping
HoleEdit: Add result picker of selected<|>first result, not of selected result
Better names for the result ids to assignHoleEditCursor
HoleEdit: Unpicked results are obliteratd so they don't disturb animations