On 18/03/2024 16:11, Lawrence Paulson wrote: > Many thanks for making those improvements! > > It's so useful, I wonder why more people do not use it. So how about an entry in NEWS for the coming release? Makarius