It's September and we still don't have HTTP redirecting to HTTPS. It's a trivial thing to do. When can it be done?