<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi EFF,</div>
<div> </div>
<div>I'm using HTTPS Everywhere for a while now.</div>
<div>Recently I started having issues with gmx.net redirecting to gmx.ch, while gmx.net still nicely supports https.</div>
<div> </div>
<div>I tracked the issue down to a recent change in HTTPS Everywhere rules in GMX.xml.</div>
<div>It's done by user donced on 10 July 2015 and it messes up several domain.</div>
<div> </div>
<div>The previous rule set was happily working for 5 years...</div>
<div> </div>
<div>Currently I have to disable the GMX rule in HTTPS Everywhere, but I would really like to get it back on, so I don;t have to keep writing https:// in front....</div>
<div> </div>
<div>Can you please help?</div>
<div> </div>
<div>Thanks,</div>
<div>Saso Trendafilov</div>
<div> </div></div></body></html>