<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div>"Yes, <a class="moz-txt-link-freetext" href="http://devel.trisquel.info/">http://devel.trisquel.info/</a> and

      <a class="moz-txt-link-freetext" href="https://devel.trisquel.info/">https://devel.trisquel.info/</a> (HTTPS) site serve completely

      different things. Worse yet, the HTTPS site sets the

      Strict-Transport-Security header, which masks the problem once

      you've visited the HTTPS site.</div>

    <div><br>

    </div>

    <div>If you do want to visit the HTTP version of the site for

      whatever reason, go to <a href="http://jenkins.trisquel.info/">http://jenkins.trisquel.info/</a>.

      (Having read that last sentence, you might now be wondering, <i>wait,

        how do I access Jenkins?</i> It's <a

        href="http://jenkins.trisquel.info:8085/">http://jenkins.trisquel.info:8085/</a>.)</div>

    <div><br>

    </div>

    <div>Someone please fix this madness..."</div>

  </body>

</html>