in patcher/patcher.js [802:815]
function cmpKeys(a, b) {
a = a.replace(/ =.*/, "")
b = b.replace(/ =.*/, "")
if (a == b)
return 0
let d = keyWeight(a) - keyWeight(b)
if (d) return d
let aa = expandNum(a)
let bb = expandNum(b)
if (aa < bb) return -1
else if (bb < aa) return 1
else if (a < b) return -1
else return 1
}