@philipgregory Good point. I’ll have to look at (a) why search doesn’t show up there and (2) if we can narrow the search to the forum you are looking at.