Re: [pacman-dev] [PATCH] update a bunch of links for https and to adapt to changing domains