On 11/10/23 03:35, Александр Проклов wrote: > Yes. > Yes to the removal, I guess... If there is consensus about this, who will do the actual removal? I can do it or is it better a task for some "official" ROSA guy? GvM