On Thu, Jan 02, 2014 at 04:57:49PM -0700, Bob Proulx wrote: > > To me this is a bug. > > Which part of it? There were several things mentioned.
The only non-sensible one : that _un_checking 'stay in https' stays in https nonetheless. But actually it's not a bug : this checkbox creates a cookie that make the browser auto-switch to https when they open http://savannah.gnu.org. Unchecking the box does not set that cookie. > > There may be a conflict between the choice of the checkbox and a) > > HTTPSEverywhere plugin and/or b) a previous Savane cookie requesting > > to switch to https. > > I am not sure what you are trying to say here. The HTTPSEverywhere > plugin isn't needed for accessing Savannah since Savannah already > switches users to https without the plugin. HTTPSEverywhere switches to https whatever you do and can mess-up one's interpretation of this checkbox behavior. -- Sylvain