On Fri, Jan 20, 2023 at 10:53:04AM -0600, Reza Arbab wrote: >Since the issue is isolated to http, let's just change these links to >https, which is probably a good idea regardless. Applied to master. -- Reza Arbab