Switching from Jupyter to a proper IDE

General Usage
18

Maybe we could get https://github.com/krassowski/jupyterlab-lsp to work with https://github.com/julia-vscode/LanguageServer.jl? Maybe that would make JupyterLab more usable?