Searching in polygerrit-ui/app/embed/diff/gr-range-header