The F# tooling for lsp-mode currently implements a workspace loading system in which this flow is implemented using custom FsAutoComplete RPCs:

1. The client sends a "peek" request (fsharp/workspacePeek), which contains a list of directories to exclude from peeking.
2. The server replies with all the F# project files it can find.
3. The client uses the list of discovered project files to issue a "load" request (fsharp/workspaceLoad).
4. FsAutoComplete loads the specified project(s).
5. Two success messages are issued: one when the projects start loading, the second when all projects finish loading.

Currently, the list of directories to exclude is hard-coded. This can be an issue depending on the rest of the development toolchain in use. For instance: some Nix tooling creates a directory in which symlinks to dependencies are stored. The fsharp/workspacePeek request erroneously searches this directory, which turns up many F# project files; lsp-fsharp sends the first success message, but loading never completes.

This is, admittedly, an edge-case, but it's an extremely simple PR to provide configs for, and serves as a fairly helpful debugging hint, given the way this edge-case causes false success reports.