Merge branch 'tr/gitk-doc-range-trace'