The CodeLens feature is very helpful, so it would be nice to not have to disable it to fix this problem. In the mean-time, I can live with the delays, since they only happen every once in a …