On Wed, 8 Apr 2020 14:44:10 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote: > > That sounds fine. > > That's fine by me as well. The attached diff implements the proposal. For review by anyone. Zoltan.