<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-15">
  </head>
  <body text="#000000" bgcolor="#ffffff">
    Hi,<br>
    <br>
    I removed the leading "--&gt; &lt;reporter&gt; &lt;date&gt;" and
    trailing "&lt;--" of bug comments.<br>
    <br>
    <style type="text/css">p, li { white-space: pre-wrap; }</style>
    <p style="margin: 0px; text-indent: 0px;"><span style="font-family:
        'Sans Serif'; font-size: 10pt; color: rgb(0, 0, 0);">under
        LGPLv3+ / MPL</span></p>
    <br>
    Christina Rossmanith<br>
  </body>
</html>