[Tock Devel] Re: Tock meeting agenda 2024-10-04