Hi,
I filed a bug on github but then wasn’t sure if that is really monitored? So just in case I am reporting here too.
Thanks!