Python core developer: the retirement of Python creator Guido van Rossum hasn’t really changed things