in tools/rfc-render/render-rfc-table.js [39:41]
function byNumber(a, b) { return a.number - b.number; }