diff --git a/README.md b/README.md
index e9381ac2..44f251b4 100644
--- a/README.md
+++ b/README.md
@@ -51,9 +51,8 @@ Known limitations are:
 2. Existential types, both written with wildcards and `forSome` may produce unexpected results, the support is limited,
 3. Path-Dependent Types are based on variable names and may cause unexpected results when variables with different names have the same type or vice-versa (vs. Scala compiler)
 4. This-Types such as `X.this.type` are ignored and identical to `X`
-5. At the moment Scala 3 port does not support Structural Refinements. This will be fixed in the future.
-6. `izumi-reflect` is less powerful than `scala-reflect`: it does not preserve fields and methods when it's not necessary for equality and subtype checks, it does not preserve code trees, internal compiler data structures, etc.
-7. There are some optimizations in place which reduce correctness, namely: subtype check for `scala.Matchable` will always return true, no distinction is made between `scala.Any` and `scala.AnyRef`.
+5. `izumi-reflect` is less powerful than `scala-reflect`: it does not preserve fields and methods when it's not necessary for equality and subtype checks, it does not preserve code trees, internal compiler data structures, etc.
+6. There are some optimizations in place which reduce correctness, namely: subtype check for `scala.Matchable` will always return true, no distinction is made between `scala.Any` and `scala.AnyRef`.
 
 ## Debugging
 
diff --git a/docs/index.md b/docs/index.md
index f869e902..6e7c647e 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -36,8 +36,8 @@ Known limitations are:
 2. Existential types, both written with wildcards and `forSome` may produce unexpected results, the support is limited,
 3. Path-Dependent Types are based on variable names and may cause unexpected results when variables with different names have the same type or vice-versa (vs. Scala compiler)
 4. This-Types such as `X.this.type` are ignored and identical to `X`
-5. At the moment Scala 3 port does not support Structural Refinements. This will be fixed in the future.
-6. `izumi-reflect` is less powerful than `scala-reflect`: it does not preserve fields and methods when it's not necessary for equality and subtype checks, it does not preserve code trees, internal compiler data structures, etc.
+5. `izumi-reflect` is less powerful than `scala-reflect`: it does not preserve fields and methods when it's not necessary for equality and subtype checks, it does not preserve code trees, internal compiler data structures, etc.
+6. There are some optimizations in place which reduce correctness, namely: subtype check for `scala.Matchable` will always return true, no distinction is made between `scala.Any` and `scala.AnyRef`.
 
 ## Installation