On 9/24/24 2:23 PM, Pavel Sanda wrote: > If you are preparing new release, I am seeing problem with our user guide. > Maybe fixing it first would be good. Can you submit a fix? Riki