In theory this should have been a backport of the search-related commits 7e8c345a and 46fa3aa7, but they are buried in the middle of the Big Commandline Reorganization. Just taking everything has lower risk and is faster.