The guy didn't even mention type checking. Guess it's not a big deal to him. Zero type errors during runtime is a big deal.
i use python more, can't recommend mypy enough, it's great for what it is. it has warts, but that's to be expected if you add an optional strict modern type system to 20 years of dynamic language.
mypy is great, I use it in 'public' api's, tricky parts where context alone is inadequate and where I previously fucked up - the latter usually is a signal that the flow or abstractions can be improved to the extent that I can remove the typing hints.
mypy helps me, it does not force me to throw a goat into the lava pit to appease the compiler.
If the goal is convenience don't go with types. If the goal is robustness, use types.
The stdlib is globally well annoted now. However, most 3rd party libs are not.