Re: [Wikitech-l] HTTPS for all logged-in users (was: Re: secure.wikimedia.org is no more)