I have just merged PR
#2855 into devel. This PR adds dozens (hundreds?) of annotations to Leo. Imo, they are remarkably helpful.
As always, there is a small risk to any mass code update, but we have plenty of time for testing.
Edward
P.S. As noted in PR #2855, annotating "g" in leoGlobals.py create many mypy errors. I'll investigate these tomorrow.
EKR