[docgen] Update README.md

skip-checks: true

1 files changed, 35 insertions, 0 deletions

diff --git a/CONFIG.md b/CONFIG.md
index bff8cb78..2c6321d2 100644
--- a/CONFIG.md
+++ b/CONFIG.md
@@ -47,6 +47,7 @@ that config.
 - [pyls_ms](#pyls_ms)
 - [pyright](#pyright)
 - [r_language_server](#r_language_server)
+- [racket_langserver](#racket_langserver)
 - [rls](#rls)
 - [rnix](#rnix)
 - [rome](#rome)
@@ -2118,6 +2119,12 @@ This server accepts configuration via the `settings` key.
   
   Display plots within VS Code\. Might require a restart of the Julia process\.
 
+- **`julia.useProgressFrontend`**: `boolean`
+
+  Default: `true`
+  
+  null
+
 - **`julia.useRevise`**: `boolean`
 
   Default: `true`
@@ -2329,6 +2336,12 @@ This server accepts configuration via the `settings` key.
   
   null
 
+- **`lean.input.eagerReplacementEnabled`**: `boolean`
+
+  Default: `true`
+  
+  null
+
 - **`lean.input.enabled`**: `boolean`
 
   Default: `true`
@@ -3373,6 +3386,28 @@ require'lspconfig'.r_language_server.setup{}
     root_dir = root_pattern(".git") or os_homedir
 ```
 
+## racket_langserver
+
+[https://github.com/jeapostrophe/racket-langserver](https://github.com/jeapostrophe/racket-langserver)
+
+The Racket language server. This project seeks to use
+[DrRacket](https://github.com/racket/drracket)'s public API to provide
+functionality that mimics DrRacket's code tools as closely as possible.
+
+Install via `raco`: `raco pkg install racket-langserver`
+
+
+```lua
+require'lspconfig'.racket_langserver.setup{}
+
+  Commands:
+  
+  Default Values:
+    cmd = { "racket", "--lib", "racket-langserver" }
+    filetypes = { "racket", "scheme" }
+    root_dir = <function 1>
+```
+
 ## rls
 
 https://github.com/rust-lang/rls