<div dir="ltr">Hello all,<div><br></div><div>As was recently highlighted by Felipe in a github issue, with the fixes that have been accumulating, it&#39;s probably time to cut a new release. </div><div><br></div><div>Gary/Stephen, do you guys have the time or should someone else go for it?</div><div><br>Ariel</div></div>