From bb72065d02d83cbfd66fd442299d341b84c345e4 Mon Sep 17 00:00:00 2001
From: Dominique Hazael-Massieux <dom@w3.org>
Date: Mon, 12 Jul 2021 12:18:52 +0200
Subject: [PATCH] Use rfc-editor.org URLs instead of datatracker.ietf.org for
 IETF RFCs (#676)

Both are as authoritative as it gets, and from RFC8650 onwards, rfc-editor.org provide much nicer HTML rendering, as described in https://www.rfc-editor.org/format-live/

See also https://github.com/w3c/browser-specs/issues/342
---
 scripts/ietf.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/ietf.js b/scripts/ietf.js
index 31fdc5a07..0ae7e37cb 100755
--- a/scripts/ietf.js
+++ b/scripts/ietf.js
@@ -82,7 +82,7 @@ function href(index) {
     if (HTTP_SPECS.indexOf(index) > -1) {
         return "https://httpwg.org/specs/" + index + ".html";
     }
-    return "https://datatracker.ietf.org/doc/html/" + unpad(index);
+    return "https://www.rfc-editor.org/rfc/" + unpad(index);
 }
 
 function unpad(index) {