Assorted trivia in search.cpp