Merge branch 'rh/maint-gitweb-highlight-ext' into maint