Hello,
I released a library (jacobi-theta) last week on Hackage. I use it in another library, by putting it in the extra-deps of stack.yaml. This works, but the Haskell extension of VScode does not find it. Is it normal? Should I “refresh” something?