How to write four million lines of Python: ... “We provided integrations for running mypy for editors popular at Dropbox, including PyCharm, Vim, and VS Code.