Brian RogersJuly 16, 2015 Steven switched out the search box on the home page today, to point to WorldCat Discovery. If anyone runs into any issues, let us know.