Update docs for E711, E712 (#4560) #29530

Job	Run time
cargo fmt	15s
Determine changes	7s
mkdocs	2m 6s
python package	1m 19s
pre-commit	31s
cargo test (windows)	9m 25s
cargo build (release)	4m 32s
cargo clippy	1m 34s
cargo build (msrv)	2m 59s
cargo fuzz	16s
cargo test (linux)	3m 8s
cargo test (wasm)	1m 7s
test scripts	56s
cargo shear	25s
benchmarks	3m 57s
formatter instabilities and black similarity	0s
test ruff-lsp	21s
ecosystem	3m 44s
Fuzz the parser	0s
	36m 42s

Provide feedback