v0.87.2-pre

• Fixed a lag that would sometime occur when large numbers of files changed on disk, due to reporting the changed files to language servers.