diff --git a/website/docs/IDE-features.mdx b/website/docs/IDE-features.mdx
index 36cb6c689e..771fb4c40b 100644
--- a/website/docs/IDE-features.mdx
+++ b/website/docs/IDE-features.mdx
@@ -229,10 +229,33 @@ Code actions are automated fixes and refactorings that Pyrefly offers through yo
 
 When Pyrefly detects a type error, it may offer a quick fix — a one-click resolution available via the lightbulb menu (<kbd>Cmd+.</kbd> / <kbd>Ctrl+.</kbd>). Currently supported:
 
-| Quick fix | Description |
-|---|---|
-| **Add missing import** | Automatically add an import statement for an unresolved name |
-| **Remove redundant cast** | Remove a `typing.cast()` call where the argument already has the target type |
+**Add missing import**
+
+Automatically add an import statement for an unresolved name.
+
+<video
+  src="/videos/code-action-add-import.mp4"
+  width="720"
+  muted
+  loop
+  autoPlay
+  playsInline
+  preload="metadata"
+/>
+
+**Remove redundant cast**
+
+Remove a `typing.cast()` call where the argument already has the target type.
+
+<video
+  src="/videos/code-action-remove-cast.mp4"
+  width="720"
+  muted
+  loop
+  autoPlay
+  playsInline
+  preload="metadata"
+/>
 
 #### Fix All
 
diff --git a/website/static/videos/code-action-add-import.mp4 b/website/static/videos/code-action-add-import.mp4
new file mode 100644
index 0000000000..154e199f67
Binary files /dev/null and b/website/static/videos/code-action-add-import.mp4 differ
diff --git a/website/static/videos/code-action-remove-cast.mp4 b/website/static/videos/code-action-remove-cast.mp4
new file mode 100644
index 0000000000..9272ebc916
Binary files /dev/null and b/website/static/videos/code-action-remove-cast.mp4 differ