Comment out custom searchbox. We use @@search now.