Comment by ericpts

I am particularly curious why they chose to start from scratch instead of cooperating with Dropbox on mypy.