Typing tools ¶ VSCodium VSCodium settings .gitignore file How to find the python path .vscode/settings.json examples VSCodium extensions pyright