[0]: https://en.wikipedia.org/wiki/List_of_RFCs
https://www.rfc-editor.org/rfc-index-100d.html
(The RFC Editor site is the official source for RFCs: https://www.rfc-editor.org/ )
Reply on news.ycombinator.com