docs: add code action videos to IDE features docs (Part of #2040)

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