Как исправить расширение гнома

Конкретно этот - Windows Blur Effects | GNOME Расширения Shell, который размывает неактивные окна.

Хочу смочь, исключают некоторые окна. И такая функция уже должна быть там (на GitHub README, это отмечено, как закрыто в версии 3). Но все, что я нашел:

const excludeList = []; // an array of wm-class to be excluded from filters

в extension.js. Так 2 вопроса:

1. Этот массив что я поиск?
2. Если да, и я исправляю его с, скажем, ["Firefox"] - как делать изменения активными (я должен "перекомпилировать" этот extension.js)? Простые изменения сохранения и переключение расширения прочь/на не имеют никакого значения..