I now did install it with Pip, and while the REPL now sees my correct Python version (3.7.0), it still does not know any imported packages that are installed in this system Python. Unfortunately, there also does not seem to be any setting in the editor where I can change which Python it uses, nor can I see which one has been chosen for me.
