Hi,
Yes, it is for the webpage's install section.

On Mon, Nov 12, 2018 at 5:55 AM Jason A. Donenfeld <Jason@zx2c4.com> wrote:

> Hi Laszlo,
>
> Thanks for pointing this out. Presumably this is a suggestion for the
> pin priority listed on the install page of the webpage? Or some place
> else? I've CC'd dkg on this email to ack the change.
>
> Jason
>