Есть ли такое расширение?

нету.

А жаль, совсем убирать не хочется, т.к. гномовцы обещали туда нечто вроде глобалменю впихнуть. А вот заголовок мешает :(

Что-то подобное видел, но сейчас не могу найти. В крайнем случае можно добавить вот это (gnome.org) дополнение, а дефолтный список просто удалить.

Есть ещё вот такое, как раз подходит. А до globalmenu ещё далеко, кое-какой костыль есть, но там меню в выпадающем списке.

Мне гораздо интереснее, как уменьшить шаг изменения подсветки в гноме.

Не, я не это имел ввиду. Я имел ввиду заголовок убрать, а иконку активного окна оставить. И чтоб это меню никуда не девалось(мне чисто заголовок мешает).

Заголовок окна или сам текст в панели? Если текст, это расширение как раз позволяет его убрать(там вообще много настроек).