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

<html>

  <head>

    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">

    <title></title>

  </head>

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

    <font face="Times New Roman, Times, serif">In case it is a bug, what

      do you think if we would improve the GUI?<br>

      I have done three photomontages (a, b, c).<br>

    </font><br>

  </body>

</html>