lists.wikimedia.org is now HTTPS-only