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