<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    If the checkbox "When you see a new certificate, tell the
    Observatory which ISP you are connected to" is unchecked, it will be
    checked again automatically the next time the preferences dialog
    opens, e.g. the preference is not saved correctly.<br>
    <br>
    <div class="moz-signature">-- <br>
      <small><a href="http://www.jeroenvandergun.nl/pki">Publieke
          sleutels voor e-mailcryptografie</a></small></div>
  </body>
</html>