3 ms·

Thanks for the update. I was concerned that Guido leaving Google meant more than just Guido leaving Google.