3 ms·

I'm not sure anyone "pushed Guido out", but if anyone did I'm pretty sure it wasn't the people on python-committers.