Any plans to release the language server as a NuGet package? Seems like it’s not part of the Dafny release.

It is now available on NuGet, along with other components of the Dafny: (https://www.nuget.org/packages?q=dafny):