Yeah, it's not really important. I only mentioned it because I actually thought we had https login for a while, and then it disappeared. Looks like I was mistaken.