in tools/rfc-render/render-rfc-table.js [135:137]
function findDocFile(files, number) { return files.find(file => parseInt(file.split('-')[0]) === number); }