build

docs: prefer new revset operator `::` over deprecated `:` #6734

Job	Run time
cargo-deny (advisories)	29s
cargo-deny (bans licenses sources)	32s
build (ubuntu-latest)	7m 15s
build (macos-13)	4m 22s
build (windows-latest)	10m 14s
build (ubuntu-latest, --all-features)	7m 0s
Check protos	52s
Clippy check	3m 27s
Check that MkDocs can build the docs	22s
Check formatting	22s
	34m 55s

Provide feedback