I have a theory on this. They use a lot of ML for FSD and Ap. That a radical redesign would change the model enough that they would have to retrain from scratch. So they keep the facelifts extremely minor .
Just a theory.
Nice! This is very exciting. I don't like the current landscape of python type checkers.
Please implement something like pyre-upgrade for being able to enable strict linting and upgrade existing code bases (but without all the other problems pyre brings). https://pyre-check.org/docs/types-in-python/#upgrade
Nice.