<div dir="ltr"><div>I'm just wondering if all hyperlinks instances of pdftex on the manual shouldn't have say <a href="https://tug.org/applications/pdftex">https://tug.org/applications/pdftex</a> rather than <a href="http://pdftex.org">http://pdftex.org</a> <br></div><div><br></div><div>I guess I get the part about  the mirrors of ctan not having https in them, since we wouldn't have a clue what that specific mirror redirects at a given time. but I can't understand why the <a href="http://pdftex.org">pdftex.org</a> redirect needs to be there in the first place.. <br></div><div><br></div><div>Is it easy to remember <a href="http://pdftex.org">pdftex.org</a>? Maybe, but it's still a redirect that will point to an http instead of https from tug's end.<br></div><div><br></div><div><br></div></div>