Updates: we no longer use lighttpd, and web site searching is no longer
WAIS.