On Wed, Oct 06, 2021 at 05:50:00PM -0400, Wietse Venema wrote:
> > I therefore suggest replacing any and all occurrences of
> > "http://tools.ietf.org"
> > with
> > "https://tools.ietf.org"
> > in the html documentation.
>
> Updated the mantools/postlink script to do this:
>
> s/\bRFC\s*([1-9]\d*)/<a
> href="https:\/\/tools.ietf.org\/html\/rfc$1">$&<\/a>/g;
>
> That will fix the other RFC references, too.
At this point, might as well make it either of:
https://datatracker.ietf.org/doc/html/rfc$1
https://www.rfc-editor.org/rfc/rfc$1.html
The https://tools.ietf.org URLs are all getting redirect to the first of
these. The second is the official version, with fewer bells/whistles
related to document history, ...
>
> Wietse