How to write four million lines of Python: Lessons from Dropbox on using the programming language at ... becomes a hard problem.” But annotating four million lines of Python code in this way ...