<div dir="ltr"><div>Hi,<br></div><div>Yes, it is for the webpage's install section.</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Nov 12, 2018 at 5:55 AM Jason A. Donenfeld <<a href="mailto:Jason@zx2c4.com">Jason@zx2c4.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Laszlo,<br>
<br>
Thanks for pointing this out. Presumably this is a suggestion for the<br>
pin priority listed on the install page of the webpage? Or some place<br>
else? I've CC'd dkg on this email to ack the change.<br>
<br>
Jason<br>
</blockquote></div>