[ANN] VS Code extension 1.3 released

There’s something funny about tab completions - they all show these blue boxes:

image

and don’t work, hitting tab will just close the suggestion list and I’m left with \in. Switching to a tab with a regular jl file in the same VSCode instance:

image

and they complete correctly.