diff --git a/content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v b/content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v
rename to content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v
diff --git a/content/reference/coq-bluerock-auto-core/theories/hints/orient.v b/content/reference/rocq-skylabs-auto-core/theories/hints/orient.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-core/theories/hints/orient.v
rename to content/reference/rocq-skylabs-auto-core/theories/hints/orient.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/bi.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/bi.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/bi.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/bi.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/hints/fractional.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/hints/fractional.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/hints/fractional.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/hints/fractional.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/specs/inline.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/specs/inline.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/specs/inline.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/specs/inline.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/bwd.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/bwd.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/bwd.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/bwd.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/cancel.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/cancel.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/cancel.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/cancel.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/fwd.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/fwd.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/fwd.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/fwd.v
diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/hint_opaque.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/hint_opaque.v
similarity index 100%
rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/hint_opaque.v
rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/hint_opaque.v