<div dir="ltr">Thanks nusenu for the pointer.<div><br></div><div>Looks like it's a real "undocumented feature" ;-), and matches the behaviour I'm seeing.</div><div><br></div><div>On a related note, is there a way to search the archives on specific keywords?</div><div><br></div><div>Thanks</div><div>Seb</div><br><div class="gmail_quote"><div dir="ltr">On Sun, 24 Sep 2017 at 23:44 nusenu <<a href="mailto:nusenu-lists@riseup.net" target="_blank">nusenu-lists@riseup.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Teor (tor developer) explained it in the past, you can find it here:<br>
<a href="https://lists.torproject.org/pipermail/tor-relays/2015-May/006956.html" rel="noreferrer" target="_blank">https://lists.torproject.org/pipermail/tor-relays/2015-May/006956.html</a><br>
<br>
ticket to improve documentation:<br>
<a href="https://trac.torproject.org/projects/tor/ticket/23635" rel="noreferrer" target="_blank">https://trac.torproject.org/projects/tor/ticket/23635</a><br>
<br>
--<br>
<a href="https://mastodon.social/@nusenu" rel="noreferrer" target="_blank">https://mastodon.social/@nusenu</a><br>
<a href="https://twitter.com/nusenu_" rel="noreferrer" target="_blank">https://twitter.com/nusenu_</a><br>
<br>
_______________________________________________<br>
tor-relays mailing list<br>
<a href="mailto:tor-relays@lists.torproject.org" target="_blank">tor-relays@lists.torproject.org</a><br>
<a href="https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-relays" rel="noreferrer" target="_blank">https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-relays</a><br>
</blockquote></div></div>