There’s something funny about tab completions - they all show these blue boxes:
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:
and they complete correctly.