> My unsubstantiated guess is that this is one of the most comprehensively-typed Python codebases out there for its size.

Not important, but FAANG companies have several orders of magnitude more strictly-typed Python than this.