On 6/23/21 11:08 AM, Dmitry Vyazelenko wrote: > I can confirm that all of the issues are fixed with the current HEAD. Excellent, thanks. I'll arrange a new release. -- -Aleksey