der: followup to docs changes (#2233) #3486

Job	Run time
test (1.85.0)	21s
build (stable, wasm32-unknown-unknown)	19s
minimal-versions / minimal-versions	27s
build (1.85.0, thumbv7em-none-eabi)	20s
build (stable, thumbv7em-none-eabi)	22s
build (1.85.0, wasm32-unknown-unknown)	21s
test (stable)	19s
	2m 29s

Provide feedback