I just finished type-annotating a 10-year old Python codebasegist.github.com4 pointsttsiodras10 years ago