<html>

  <head>

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

  </head>

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

    On 09/21/2017 10:57 PM, Le Van Gong, Hubert wrote:<br>

    <blockquote type="cite"

      cite="mid:900a0dd7-e7e3-16cb-8b35-681558d32136@levangong.org">Hi

      Ben,

      <br>

      <br>

      Ah, good catch. Maybe the doc should be updated to mention that

      fact.

      <br>

      Does anyone know if this is on the roadmap?

      <br>

    </blockquote>

    <br>

    The documentation could not really get updated more easily than the

    code, and I committed the needed fix yesterday, so we're in as good

    a shape as we can reasonably expect to be.<br>

    <br>

    -Ben<br>

  </body>

</html>