No, it wouldn’t replace that[1]. The former page (§10.1.2) is about the internal representation, i.e. what the manual calls a “store derivation”, while the latter page (§5.4.1) is about the derivation builtin function used to write a “derivation”, which is what the user might interact with (if they’re masochistic enough to not use the nixpkgs build helpers, anyway).
(And yes, this terminology is insanely confusing.)
Well, I’m not on the docs team, so grain of salt here. ↩︎