I haven't been able to reproduce the problem since Josh's update, but it was reproducing inconsistently before. I'll ask @JustinProminic to test this. The language server seems to work regardless of ...