<div dir="ltr">So <span style="line-height:1.5"><a href="http://sane-project.meier-geinitz.de/mailing-lists.html">http://sane-project.meier-geinitz.de/mailing-lists.html</a> offers a link to a search interface that appears to be down: </span><a href="http://sane.informatik.uni-freiburg.de/htdig/search.html">http://sane.informatik.uni-freiburg.de/htdig/search.html</a>. <span style="line-height:1.5">Has the search engine moved?</span><div><div><br></div><div>Jim</div><div><br></div></div></div>