diff --git a/docs/make.jl b/docs/make.jl
index 5922e4ee3..218f26e49 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -60,6 +60,8 @@ makedocs(;
         "Library" => "lib/lib.md",
         "References" => "references.md",
         "Changelog" => "changelog.md",
+        "Migration" => "migration.md",
+        "Citing" => "citing.md",
     ],
     checkdocs = :exports,
     doctest = true,
diff --git a/docs/src/citing.md b/docs/src/citing.md
new file mode 100644
index 000000000..dcd14251a
--- /dev/null
+++ b/docs/src/citing.md
@@ -0,0 +1,32 @@
+# Citing MPSKit
+
+If you use MPSKit.jl in your research, please cite it.
+Doing so supports the maintainers and helps others find the tools you relied on.
+
+## How to cite the software
+
+The canonical citation metadata lives in the
+[`CITATION.cff`](https://github.com/QuantumKitHub/MPSKit.jl/blob/master/CITATION.cff)
+file at the repository root, which GitHub also exposes through the "Cite this repository" button.
+The software is archived on Zenodo under the concept DOI
+[`10.5281/zenodo.10654900`](https://doi.org/10.5281/zenodo.10654900),
+which always resolves to the latest release.
+
+A ready-to-use BibTeX entry:
+
+```bibtex
+@software{mpskitjl,
+  author  = {Devos, Lukas and Van Damme, Maarten and Haegeman, Jutho},
+  title   = {{MPSKit.jl}},
+  version = {v0.13.13},
+  doi     = {10.5281/zenodo.10654900},
+  url     = {https://github.com/QuantumKitHub/MPSKit.jl},
+  year    = {2026}
+}
+```
+
+## Citing the underlying methods
+
+MPSKit implements algorithms developed in the tensor-network literature.
+When a specific method is central to your results, please also consider citing the original method papers.
+Some of the key references of the algorithms in this library are included in the [References](@ref) page.
diff --git a/docs/src/migration.md b/docs/src/migration.md
new file mode 100644
index 000000000..f5b7c7fc8
--- /dev/null
+++ b/docs/src/migration.md
@@ -0,0 +1,40 @@
+# Migration guide
+
+This page collects notes for upgrading between MPSKit releases when a change requires action
+on your side.
+It summarizes the breaking changes recorded in the [Changelog](@ref); consult that page for
+the complete, per-version list of changes.
+
+## Unreleased
+
+### `environments` now uses a single positional contract
+
+[`environments`](@ref) now follows one positional contract for every state and operator kind:
+
+```
+environments(below, operator, above, alg)
+```
+
+where `alg` (slot 4) is the environment algorithm.
+The operator form requires an explicit `above` argument.
+Auxiliary inputs are now keyword-only: `leftstart`/`rightstart` for finite and window
+environments, and `lenvs`/`renvs` for window and quasiparticle environments.
+
+The two-argument form `environments(below, above)` (two states) is reserved for the
+operator-free overlap environments.
+There is no two-argument `environments(below, operator)` shorthand: a two-argument call is
+always interpreted as an overlap, because the second argument cannot be disambiguated between
+a ket and an operator (this is undecidable for density matrices, where states and operators
+share a representation).
+If you previously relied on a two-argument operator call, pass the operator explicitly with an
+`above` state.
+See [#436](https://github.com/QuantumKitHub/MPSKit.jl/pull/436).
+
+## Earlier releases
+
+The [Changelog](@ref) records further changes across the 0.13.x series, including a refactor
+of the `IDMRG` implementation to the `IterativeSolver` interface
+([#348](https://github.com/QuantumKitHub/MPSKit.jl/pull/348)), fixes to `changebonds`
+consistency ([#415](https://github.com/QuantumKitHub/MPSKit.jl/pull/415)), and a refactor of
+time-evolution MPO construction
+([#422](https://github.com/QuantumKitHub/MPSKit.jl/pull/422)).