On 12/31/25 11:07, Yeoreum Yun wrote: > Gentle ping in case of forgotten. A lot of people (including me, wait, why am I reading mails ;) ) are currently out, and will likely be out for the remainder of the week. I'd assume people will look into it next week. -- Cheers David