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/