Vernacular `Derive` conflicts with Rocq [Derive](https://rocq-prover.org/doc/V8.18.0/refman/addendum/miscellaneous-extensions.html) feature. This means that using Derive in stdlib makes Equations build [fail](https://github.com/rocq-prover/stdlib/actions/runs/15656799924/job/44108955927?pr=170#step:12:283). See also: - https://github.com/mattam82/Coq-Equations/pull/645
