Merge "docs: removed duplicate "Synctrace" definition."