Fixed Mypy not working (sometimes?)

[ZedOud]

Feature Request 🚀

You might have seen this mistake of mine #267

This was me thinking I had fixed Pylint, but what I actually fixed was Mypy not working (on MacOS at least, I'm not sure if Linux or Windows has this problem). Pylint should just be disabled.

Similar change:

    "python.analysis.extraPaths": [
        "~/.micropico-stubs/included",
        "${userHome}/.micropico-stubs/included"
    ],

For whatever reason, Mypy doesn't like the line with ~ and doesn't parse, see #267 for my reasoning and the relevant documentation.

When this change is made, you can see in the Output>Mypy Type Checker log that it pics up on the .micropico-stubs/included path in the home directory in the log text block starting with [info] sys.path used to run Server: