Sort out Python config

[Menno Finlay-Smits]

jedi is painful to set up correctly with company-jedi.

Try python language server (using pipx) and then lsp.