Hi Detlev, Detlev Zundel wrote: >> This variable is not unused anywhere. > > Makes my brain twist and after carefully applying boolean equivalence > operations contradicts the title ;) Oops, thanks for pointing out. Will correct it later.