Merge topic 'instrumentation-snippet-names' into release-4.0 39f365ec3c instrumentation: Unique snippet file names Acked-by: Kitware Robot <kwrobot@kitware.com> Tested-by: buildbot <buildbot@kitware.com> Merge-request: !10491