Rust

clippy: Fix `doc_markdown` lint. #480

Job	Run time
check-formatting	2s
build (macos-latest)	52s
build_on_wasm	26m 7s
build (ubuntu-latest)	36s
build_with_bundled_z3 (linux)	12m 1s
build_with_vcpkg_installed_z3 (linux)	12m 33s
build_with_bundled_z3 (macos)	10m 3s
run_clippy	25s
build_with_vcpkg_installed_z3 (macos)	11m 15s
build_with_bundled_z3 (windows)	14m 36s
build_with_vcpkg_installed_z3 (windows)	12m 17s
	1h 40m 47s

Provide feedback