Re: [B.A.T.M.A.N.] [PATCH] batman-adv: Switch to HTTPS version of links