diff --git a/docs/docs/async-data.md b/docs/docs/async-data.md
index ffad6a8e..417b1919 100644
--- a/docs/docs/async-data.md
+++ b/docs/docs/async-data.md
@@ -25,6 +25,10 @@ const loading = AsyncData.Loading();
 const done = AsyncData.Done(1);
 ```
 
+:::tip Since v3.0.0
+`AsyncData` values are referentially equal if they contain the same value, meaning that `AsyncData.Done(1) === AsyncData.Done(1)`.
+:::
+
 ## Methods
 
 The async data type provides a few manipulation functions:
diff --git a/docs/docs/option.md b/docs/docs/option.md
index ee864945..442692fb 100644
--- a/docs/docs/option.md
+++ b/docs/docs/option.md
@@ -40,6 +40,10 @@ const b = Option.fromNull(value);
 const c = Option.fromUndefined(value);
 ```
 
+:::tip Since v3.0.0
+`Option` values are referentially equal if they contain the same value, meaning that `Option.Some(1) === Option.Some(1)`.
+:::
+
 ## Methods
 
 The option type provides a few manipulation functions:
diff --git a/docs/docs/result.md b/docs/docs/result.md
index 30d4204b..0f649da5 100644
--- a/docs/docs/result.md
+++ b/docs/docs/result.md
@@ -60,6 +60,10 @@ const value = await Result.fromPromise(() => fetch("/api"));
 // - Error(error)
 ```
 
+:::tip Since v3.0.0
+`Result` values are referentially equal if they contain the same value, meaning that `Result.Ok(1) === Result.Ok(1)` and `Result.Error(1) === Result.Error(1)`.
+:::
+
 ## Methods
 
 The result type provides a few manipulation functions:
diff --git a/docs/src/pages/index.js b/docs/src/pages/index.js
index 730944bb..ae4c63c7 100644
--- a/docs/src/pages/index.js
+++ b/docs/src/pages/index.js
@@ -172,7 +172,7 @@ export default function Home() {
                   }}
                   muted
                   loop
-                  src="/boxed/video/ide.mov"
+                  src="/boxed/video/ide.m4v"
                   playsInline
                   controls={false}
                   preload="metadata"
diff --git a/docs/static/video/ide.m4v b/docs/static/video/ide.m4v
new file mode 100644
index 00000000..e7003d22
Binary files /dev/null and b/docs/static/video/ide.m4v differ
diff --git a/docs/static/video/ide.mov b/docs/static/video/ide.mov
deleted file mode 100644
index f2fb3ba7..00000000
Binary files a/docs/static/video/ide.mov and /dev/null differ