adding an import can cause the Lean server to hang

Stream: lean4

[Floris van Doorn]

I don't have a way to reproduce this reliably, but sometimes I add an import to a file, the yellow bars stay visible indefinitely (>1 minute). I have to execute Lean: Restart File and then it takes <10 seconds for the file to load and be ready.