Fix doc #7340

Job	Run time
fmt-check	52s
clippy-check	3m 42s
check-deps	10m 35s
quick-tests	6m 36s
smir-check	5s
purification-tests	26m 48s
all-tests (ubuntu-latest)	27m 1s
release-build (ubuntu-latest)	7m 31s
all-tests (windows-latest)	32m 38s
test-crates (0)	59m 22s
release-build (windows-latest)	13m 40s
all-tests (macos-latest)	38m 1s
test-crates (1)	32m 49s
test-on-prusti	0s
release-build (macos-latest)	17m 47s
test-crates (2)	44m 13s
test-crates (3)	42m 27s
can-merge	1s
	6h 4m 8s

Provide feedback