re all,

I see on github the request to tag a new release

are we ok with that?

I'll then proceed ASAP, this week

thanks to all contributors!!