display total search hits (above 10,000)#140

wkdewey wants to merge 1 commit intodevCDRH/api:devfrom

search_hitsCDRH/api:search_hitsCopy head branch name to clipboard