2 ms·

I certainly would miss them since they've been contributing massively to the python static typing story ...