diff --git a/en/clice/changelog/feature-changelog.md b/en/clice/changelog/feature-changelog.md
index 0e0e0e6a..8c60e4e8 100644
--- a/en/clice/changelog/feature-changelog.md
+++ b/en/clice/changelog/feature-changelog.md
@@ -56,4 +56,4 @@ v1.0 ships first as rolling beta releases (`v1.0.0-beta.1`, `beta.2`, …) for a
 
 - Code completion, navigation, document links, and diagnostics are functional but not yet complete (see the feature overview pages for per-feature status).
 - Code actions are not implemented yet (and not advertised).
-- clang-tidy integration is planned; the `clang_tidy` config option is parsed but has no effect.
+- clang-tidy runs as a batch pass through `clice lint`; live clang-tidy diagnostics in the editor are planned.
diff --git a/en/clice/guide/configuration.md b/en/clice/guide/configuration.md
index 5c46ab1b..20ee5186 100644
--- a/en/clice/guide/configuration.md
+++ b/en/clice/guide/configuration.md
@@ -18,14 +18,6 @@ The following variable is supported in string values:
 
 <!-- BEGIN GENERATED CONFIG: project -->
 
-### `project.clang_tidy`
-
-| Type   | Default |
-| ------ | ------- |
-| `bool` | `false` |
-
-Run clang-tidy alongside compiler diagnostics. Not yet wired: the option is parsed but has no effect.
-
 ### `project.cache_dir`
 
 | Type     | Default |