[Typing-sig] Re: Tensor typing meeting: hiatus?