[ros-diffs] [gedmurphy] 71706: - Revert the revert, we're now back to the latest config file. - Turn off SERVER_BASED_SEARCH in the hope that it fixes the search issues.