[committed] doc: Switch valgrind.com to https

[Martin Liška]

On 8/28/20 4:56 PM, Gerald Pfeifer wrote:
> On Tue, 25 Aug 2020, Martin Liška wrote:
>> I noticed your continual effort to change http:// links to https://.
>> I've written a simple script that can do that in automatic way.
> 
> Thanks, Martin!  My missions isn't actually changing http:// to https://
> where possible, but checking for broken links and redirects offered by
> server admins. ;-)
> 
> The latter indeed have included a number of those you observed, though
> there aren't many (if any) left.

Ah, all right.

> 
>> What do you think about using it?
> 
> Are you offering to update those links the script identifies, or that
> this is for me? :)  If the former, absolutely - even where server admins
> have not activated a redirect (yet), if there is proper https available
> we can use that.

Yes, I'm offering to start using https for the url links that work. I haven't
verified that HTTPS points to the "same" content as http, but it should.

May I suggest a patch that will do that?

Thanks,
Martin

>  If the latter, the primary challenge is one of time,
> where I already have fallen behind on fixing the really broken links.
> 
> Gerald
>