build

docs: expand copy-tracing doc #17154

Job	Run time
Build jj-lib without Git support	1m 20s
Check formatting	18s
build (ubuntu-latest)	5m 22s
build (macos-13)	6m 59s
Check protos	1m 37s
build (macos-14)	5m 21s
cargo-deny (advisories)	29s
build (windows-latest)	11m 57s
Clippy check	3m 11s
cargo-deny (bans licenses sources)	36s
Check that MkDocs can build the docs	11s
build (ubuntu-latest, --all-features)	6m 22s
Check that MkDocs can build the docs with latest Python and uv	40s
	44m 23s

Provide feedback