@luisfdez Sure.  I just open that PR as #86 .