microsoft/pyright | ExplainGitHub