From d6ef8cd4816955dc3cde61528eb97aa9423addc9 Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Thu, 8 Dec 2022 18:29:55 +0200
Subject: [PATCH 1/2] feat: Add links to tools, so people know where to file
 issues.

---
 ietf/templates/doc/document_html.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/ietf/templates/doc/document_html.html b/ietf/templates/doc/document_html.html
index 2811a19c256..938574933a9 100644
--- a/ietf/templates/doc/document_html.html
+++ b/ietf/templates/doc/document_html.html
@@ -150,15 +150,15 @@
                         </p>
                         {% if request.COOKIES.htmlconf != 'html' and html %}
                         <div class="alert alert-info small">
-                            You are viewing the legacy <code>rfc2html</code>
+                            You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>
                             rendering of this document. Change the
-                            preferences for a modern <code>xml2rfc</code>-based
+                            preferences for a modern <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/xml2rfc">xml2rfc</a></code>-based
                             HTMLization.
                         </div>
                         {% elif request.COOKIES.htmlconf == 'html' and not html %}
                         <div class="alert alert-info small">
-                            You are viewing the legacy <code>rfc2html</code>
-                            rendering, because no <code>xml2rfc</code>-generated
+                            You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>.
+                            rendering, because no <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/xml2rfc">xml2rfc</a></code>-generated
                             HTML is available for this document.
                         </div>
                         {% endif %}

From 9a116c4c29b34a6cc380af85b5532d01dcf6c0cf Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Thu, 8 Dec 2022 18:44:59 +0200
Subject: [PATCH 2/2] Remove spurious character

---
 ietf/templates/doc/document_html.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ietf/templates/doc/document_html.html b/ietf/templates/doc/document_html.html
index 938574933a9..c89d1fddcc4 100644
--- a/ietf/templates/doc/document_html.html
+++ b/ietf/templates/doc/document_html.html
@@ -157,7 +157,7 @@
                         </div>
                         {% elif request.COOKIES.htmlconf == 'html' and not html %}
                         <div class="alert alert-info small">
-                            You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>.
+                            You are viewing the legacy <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/rfc2html">rfc2html</a></code>
                             rendering, because no <code><a class="text-decoration-none text-reset" href="https://github.com/ietf-tools/xml2rfc">xml2rfc</a></code>-generated
                             HTML is available for this document.
                         </div>