v1.3.1-9.0

What's Changed

• Adapt w.r.t. coq/coq#19313. by @ppedrot in #611
• adapt to coq/coq#19300 by @gares in #610
• Fix call to congruence after coq/coq#19032 by @SkySkimmer in #612
• Add link to Coq Platform Docs by @thomas-lamiaux in #615
• Adapt to coq/coq#19530 by @proux01 in #616
• Adapt to coq/coq#19620 (Global.push_context_set no strict argument) by @SkySkimmer in #619
• [coq] Overlay for coq/coq#18385 by @ejgallego in #592
• Adapt to coq/coq#19530 by @proux01 in #625
• Adapt to coq/coq#20069 (set_leq_sort doesn't need an env) by @SkySkimmer in #630
• Rocq-renaming by @mattam82 in #632

Full Changelog: v1.3.1-8.20...v1.3.1-9.0