It was created using rfcmarkup[1], a tool made by the ietf. A quick look at the source of the page in the "generator" meta tag would have told you that (that's

It was created using rfcmarkup[1], a tool made by the ietf. A quick look at the source of the page in the "generator" meta tag would have told you that (that's how I just found out) :-). [1] https://tools.ietf.org/tools/rfcmarkup/ https://tools.ietf.org/tools/rfcmarkup/