<p>I finally got around to redeploying <a href="https://sherlorocq.sirref.org" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="">sherlorocq.sirref.org</span><span class="invisible"></span></a> -- a search index over all of the sources in Rocq's main opam repository</p>
