in patcher/patcher.js [784:792]
function keyWeight(k) { if (k == "PINS_PORT_SIZE") return 10 if (isHeaderPin(k)) return 20 if (/^PIN_/.test(k)) return 30 return 40 }