Rollup merge of #72111 - petrochenkov:docstrip, r=ehuss
Rollup merge of #72111 - petrochenkov:docstrip, r=ehuss

rustc-book: Document `-Z strip=val` option

cc https://github.com/rust-lang/rust/issues/72110

graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,aidancully/rust,aidancully/rust,graydon/rust,graydon/rust