mypy v0.740 It seems these two options do the same thing so they probably should be named similarly. Probably `--custom-typing` should be renamed `--custom-typing-module`.