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