links in webwml/english/devel/debian-installer/index.wml that use http:// instead of https://

Hi,

A commit of an updated Dutch translation (index.nl.html) of
www.debian.org/devel/debian-installer/index.html was refused today
because some of the links in it were of the form http://some.web.page
rather than https://that.web.page.

However, when I execute
grep http://
my.local.copy.of/webwml/english/devel/debian-installer/index.wml
I get the following result:

<a
href="http://cdimage.debian.org/cdimage/unofficial/non-free/firmware/">\
<a
href="http://d-i.debian.org/manual/en.i386/ch05s04.html#submit-bug">installation report</a>,
<a href="http://d-i.debian.org/manual/en.i386/apa.html">Installation
    <a href="http://d-i.debian.org/manual/">latest version
(Subversion)</a>


This shows three links that are actually http:// links.

Does this mean that these links need to be adjusted in the original page
too or is the mechanism that checks new commits for errors acting to
strict in this particular case?


P.S. Please Cc me because I'm not subscribed to the list.


-- 
Cheers,
Frans

===
http://home.base.be/vt6362833/

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAABCAAGBQJXSftuAAoJEMGFpbP3zJZYX7UP/j5pBZShZXO4udqGYvRoxm88
qSQxgm3RKIHiIjaMgPBRGesQFzvsOanrtU0bvky4uMdLgAiS5qAnDuLGGpD5Yfcv
CcxteRN7hetdIeZRH+y+NGbyAdTXH8dqKf+G9nqUA6d5rFaskNSC6nrYiCrSZD0c
PLug7hnrEi/WcGFfNLEnzqWOken01rdsEfZa8yWVofVrTH8bKDFqcrozEhaB5jBe
PwrVIpu/4D9dAm+6HR325K1mJlrEuyykTXYa1z+dzKYT/NJ5CqrRYhOOqhL6S3cT
UtHmR8vOte2wqb6xHCAAXQdCf9TobwnD5Ok8Lmmhr7IaLWS2hG5PI3s0r82Lfzr0
6RaoD1I/RsT2x39Ww60curHG7ePiJQTdd9GPCj8tUpa3gMs2l8AGGTieI8epPxn/
HCcmobGRU/oVJFecHN1nhQiAklR0Vb/YrURmqcGvcuSfI7jHScqVeHl2PWbOws0D
QiQKusvO540O3yJu7hQbOB67ioVk1TR6yaG9uGV78BsYweuoZNxIiZqsXXfveWR/
tbgMUX7CHUsmV/Wg6mfOacFwE1fFpPReJzdIO04u3SLc6OqCnPWHr33861dbCKMD
DKn51O6AaHwnLRggW+s7PFPvnEbmYM2MCwmpHd7fkqr5mDVfTTFwMziImRP7LWxy
zgqO9LF9JC/wv/UG9xQW
=OttZ
-----END PGP SIGNATURE-----