
<html>

  <head>

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

  </head>

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

    <div class="moz-cite-prefix">On 09/03/2015 09:54 AM, Greg Hellings

      wrote:<br>

    </div>

    <blockquote

cite="mid:CAHxvOVKzCu3DuqoJ+uYzk2v+vjXt2CRTKed4aVqGLOW931nueg@mail.gmail.com"

      type="cite">

      <pre wrap="">It would necessitate changes to existing front-ends, but they would not be drastic.</pre>

    </blockquote>

    <font face="FreeSerif">Generally speaking, I am suspicious of things

      that require "changes to [all] existing front-ends," because then

      it smells very much like something that ought to be solved in the

      engine rather than in the UI.</font><br>

  </body>

</html>