In case the site owners were not aware, the search function on this site has been broken for a while now; searching for any term in the search box leads to the error message, "The Apache Solr search engine is not available. Please contact your site administrator."