RFC10K

[mnot]

• data.js:99: searchRfcs const padded = RFC${searchWord.padStart(4, '0')}
• data.js:147: rfcNumToName return RFC${rfcNum.padStart(4, '0')}
• data.js:152: rfcNameToNum const rfcNumPad = rfcNum.toString().padStart(4, '0')