Fortunately, Chris knows what he's doing. https://docs.modular.com/mojo/manual/python/