docs: fix broken paths to docs/devel/tracing.txt