I agree that number 2 doesn't make any sense. I know that code quality is measured by defects in KLOC (1k lines of code) but this isn't a reason.
P.S Even though within the article the python the he explains what he means (with type bugs) such issues won't be by moving to python.