Re: [arch-dev-public] bbs.archlinux.org is now switched to https only!