Почему расширение темы пользователей не отображается под инструментом Gnome Tweak?

Если вы не застреваете в цветной подсветке, вы можете использовать сам less, например

less +g -p PATTERN file

или

less +g +/PATTERN file

В +/PATTERN показаны все экземпляры PATTERN в file, а +g подавляет поведение прокрутки по умолчанию в первом совпадении.