That might be true for the individual RFCs but the index.html for that folder sure takes it time to load, which isn't surprising taken the roughly 10k RFC, whic

That might be true for the individual RFCs but the index.html for that folder sure takes it time to load, which isn't surprising taken the roughly 10k RFC, which each are present in 5 different file formats. I remember having worse scaling issues in Windows Explorer back in the day when trying to navigate into the folder of Ralf Brown's interrupt list, which also contained more than 10k files. But that took several minutes to open not seconds.