<div dir="ltr">Hi Ole,<div><br></div><div>thanks for the quick reply.</div><div><br></div><div><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">the manual currently uses a Google Custom Search. Unfortunately, this 
<br>gives us only limited control over which pages get indexed.
<br></blockquote><div>I see, I guess you're already providing a sitemap?</div><div> <br></div><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Hence, I think we should at some point move to a client-side search 
<br>engine like Lunr.js. While it's not a priority for me, contributions are 
<br>always welcome ;-)
<br></blockquote><div>:-)</div><div> </div><blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">The "[Edit]" links are only shown for the trunk version.
<br></blockquote><div>Ah, makes sense. Cool!</div><div><br></div><div>Best,</div><div>Leo</div></div></div>