HoleEdit: firstResult->mainResult. firstResults->shownResults. moreResults->(extraResults, hiddenResults)