[Tock Devel] Re: Tock core meeting agenda items 2024-06-14